設定: HM は一応使える。Type class instance resolution はイメージしか持っていない。なのに Monad transformer に出会ってしまった。眉間のτとλ皺が特徴。 やつを追う前に言っておくッ！ おれは今やつのStateTをほんのちょっぴりだが体験した い…いや…体…