[Haskell-cafe] Haskell & monads for newbies
derek.a.elkins at gmail.com
Sat Jul 14 15:57:26 EDT 2007
ListT IO (http://www.haskell.org/hawiki/ListTDoneRight)
On Sat, 2007-07-14 at 21:34 +0200, Hugh Perkins wrote:
> Well, can you provide an example of an implementation of bind that
> satisfies an intuitive definition of bind but does not satisfy the
> monad laws?
> On 7/14/07, Derek Elkins <derek.a.elkins at gmail.com> wrote:
> -Documentation- damn well better have the monad
> laws. Something is not
> a monad if it does not satisfy the monad laws. Furthermore,
> the monad
> laws are almost the only thing that -does- define monads.
More information about the Haskell-Cafe