Not a single name, but I believe liftA2 mplus is the same function, and much shorter (and more general). It uses the Applicative instance for (a ->). Of course, it also works with liftM2. Erik 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 ?

Hoogling for its type

  MonadPlus m => (a -> m b) -> (a -> m b) -> a -> m b

doesn’t net me anything useful.

-- Jón Fairbairn                                 Jon.Fairbairn@cl.cam.ac.uk

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Isn't that just something like liftA2 mplus? Отправлено с iPhone Feb 19, 2012, в 15:50, Jon Fairbairn написал(а):

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 ?

Hoogling for its type

MonadPlus m => (a -> m b) -> (a -> m b) -> a -> m b

doesn’t net me anything useful.

-- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe