a lousy attempt at ensugaring infix type applications