モナド、そのあたりが辛いけど、Haskellとかうまくやれんのかな？パズルになりそうな印象なんだけど。