http://d.hatena.ne.jp/sshi/20071130/p1 疑問には答えられてないんですが、lift,liftMはいらないのかな、と。 *Main> :i MonadReader class (Monad m) => MonadReader r m | m -> r where ask :: m r local :: (r -> r) -> m a -> m a -- Defined in Contro…