show type instances with single arguments