[Haskell-cafe] Why Kleisli composition is not in the Monad signature?
kdamodar2000 at gmail.com
Mon Oct 15 13:46:36 CEST 2012
The Monad class makes us define bind (>>=) and unit (return) for our monads.
Why the Kleisli composition (>=>) or (<=<) is not made a part of Monad
class instead of bind (>>=)?
Is there any historical reason behind this?
The bind (>>=) is not as elegant as (>=>), at least as I find it.
Am I missing something?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe