Re: [Haskell-cafe] Monadic correctness

Derek Elkins wrote:

On Sat, Oct 17, 2009 at 3:24 PM, Andrew Coppin wrote:

...

I'm reasonably confident it works, but not 100% sure...

newtype Foo x = Foo (M -> IO x)

In this case it is trivial, Foo = ReaderT M IO which is a monad.

Ah yes, of course... I keep forgetting that the Reader monad doesn't do what it sounds like it does! Oh well. ;-)