[<<][haskell][>>][..]
Sun Aug 23 10:26:54 EDT 2015

Kleisli arrow

Monad m => a -> m b
Monad m => a -> b -> m c
Monad m => (a,b) -> m c

First is a Kleisli arrow.  What about second?
Since it's isomorphic to the third, it could be considered as.




[Reply][About]
[<<][haskell][>>][..]