On 13/08/13 17:38, Andreas Abel wrote: > Indeed, I wished the 0-ary case would be more alike to the unary and binary > case, cf. > > return f0 > f1 <$> a1 > f2 <$> a1 <*> a2 You could always write the above as pure f0 pure f1 <*> a1 pure f2 <*> a1 <*> a2 Twan