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 <jon.fairba...@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 > ? > > 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.fairba...@cl.cam.ac.uk > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe