Re: [Haskell-cafe] Re: Syntax question: class (Monad m) => MonadReader r m | m -> r where