代入と配列（あるいは大きなオブジェクトの部分更新）とMonadの関係について
丁度悩ましい思いをしてるトコなもんで(w。

>>25
その場合、このスレに関する型推論はどうなるのでありますか？(w