モナドと遅延評価って直接関係なくないか?