Derek Elkins wrote:
On Sat, Oct 17, 2009 at 3:24 PM, Andrew Coppin
<[email protected]> 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. ;-)
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
