次はリストトランスフォーマーを考えましょう。 Maybeトランスフォーマーのように、１つ引数をとるコンストラクタ付きのデータ型を定義します。 newtype ListT m a = ListT { runListT :: m [a] } ListTモナドの実装も、もとのListモナドのそれと非常に似通…