HaskellでのMonadの解説を見ると、どれも先にMonadの意味からはいっている。そうじゃなく、先にComprehensionの理解をさせて（素数生成とか）、その後でList Monad、その他Monad、Monadそのもの、といった順にやっていくほうが理解しやすいんじゃないかと思…