
19 Feb
2012
19 Feb
'12
10:12 a.m.
Erik Hesselink
On Sun, Feb 19, 2012 at 12:50, Jon Fairbairn
wrote: This is probably a failure of my search fu or some other mental lacuna, but is there already a definition of this function somewhere:
\a b -> runKleisli $ (Kleisli a) <+> Kleisli b ?
Not a single name, but I believe
liftA2 mplus
is the same function, and much shorter (and more general).
That’s the ticket. I was sure there was something like that (and I almost asked if there was a library function g such that g mplus = …). Thanks, — Jón