
23 Oct
2009
23 Oct
'09
4:24 p.m.
On Fri, Oct 23, 2009 at 11:32 AM, Daniel Fischer
It's because ((->) r) *is* the reader monad. Control.Monad.Reader's Reader r a is just that wrapped in a newtype:
newtype Reader r a = Reader { runReader :: r -> a }
So I was thinking: :t runReader $ liftM2 (&&) (Reader (< 0.5)) (Reader (> -0.5)) Thanks. -- Darrin