http://www.sampou.org/haskell/a-a-monads/html/transformers.html
やっぱりこの辺りは避けて通れませんか。

モナドをやっつけたと思ったらまた難物が、、、