
19 Feb
2012
19 Feb
'12
6:50 a.m.
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