Re: [Haskell-cafe] one-way monads

G'day all. Quoting Dan Piponi :

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. Cheers, Andrew Bromage