[Haskell-cafe] one-way monads

ajb at spamcop.net ajb at spamcop.net
Tue May 20 23:23:37 EDT 2008

G'day all.

Quoting Dan Piponi <dpiponi at gmail.com>:

> For any specific monad, m, it's usually possible
> to write a function m a -> a.

Actually, it's true less than 50% of the time.  In particular, it's
not true of any monad transformer.

Andrew Bromage

More information about the Haskell-Cafe mailing list