ReaderとMonadReader

Question

Control.Monad.ReaderにReader MonadとMonadReaderモナドがあるのはなぜですか？パッケージのドキュメントでは、Readerのモナドについて説明し、MonadReaderのマニュアルを直接説明しません。これらのモナドの違いは何ですか？これらのリファレンスページを読むことは、私を混乱させるだけのことになりません。興味深いことに、Haskellウィキブックスの読者モナドのページはまだ書かれていません！

Answer 1

MonadReaderモナドはありません。これは、クラスのモナド、すなわちとしてaReaderとして使用されるモナドのものです（一般的には、それらはのあるモナドトランススタックとして定義されているためです）。それはReaderTだけ些細なアイデンティティモナドに適用しているのでので、

• Readerは、リーダーとしてのみ作用する特定モナドである：

  type Reader r = ReaderT r Identity 
  

  これは明らかにこのようMonadReaderのインスタンスでありますしかし、何もしません。

• MonadReaderは、ある環境から読み取ることができるすべてののモナドです。ここでも、Reader自体が含まれますが、MaybeT (ReaderT Int (ListT IO))も含まれます。