モナドトランスフォーマーとリフト機能

Question

なぜIOを除く内部モナドトランス環境で機能を実行するためにリフトを使用する必要はありませんか？つまり、私はStateT over WriterTとWriterT over ReaderTを持っていれば、なぜこれを行うことができますか？

tell $ {- any code here for the Writer -} 
foo <- asks {- This for the reader -} 
and so on... 

代わりの

lift $ tell $ {- code ... -} 
... 

特別な説明がありますか、それはモナド変圧器が書かれた唯一の方法ですか？

Answer 1

モナドトランスフォーマライブラリ（MTL）は、ちょうどそのようにモナドをスタックすることがよくあるので、としてtellを定義していないためです。

代わりにMonadWriterがあります。これはという形で定義されていますが、その中に関数tellとしてがあります。次に、MonadWriterのインスタンス数を定義します。ReaderT、IO、Writer（duh）などです。したがって、lift.の煩わしい繰り返しを避けることができます。

これは非常に一般的です。モンタージュトランス（MTLの場合）はControl.Monad.***.Classになります。これにはこの種のtypeclassがあります。