[Haskell-cafe] Why Kleisli composition is not in the Monad signature?

damodar kulkarni 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?

- Damodar
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121015/38b537eb/attachment.htm>

More information about the Haskell-Cafe mailing list