I've always thought this was missing for parser combinator libraries as there is the notational tradition from YACC etc. to have production at the left then action at the right. On 29 March 2012 22:03, Sjoerd Visscher <sjoerd at w3future.com> wrote: > or perhaps > > infixr 0 <$$> > (<$$>) = flip (<$>) > > xs <$$> \x -> ...