19 Feb
2012
19 Feb
'12
11:12 p.m.
Erik Hesselink <hesselink@gmail.com> writes:
On Sun, Feb 19, 2012 at 12:50, Jon Fairbairn <jon.fairbairn@cl.cam.ac.uk> 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