「リストモナドの動作原理を考える」の続きで、guard の動作原理を考えてみます。guard は、リスト内包表記では、こんな感じに書けます。 [x | x <- [1,2], x < 2] → [1] これを do で書き直すと、こうなります。 do x <- [1,2] guard (x < 2) return x guar…