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

Reply via email to