>>795
> when (f x) $ putStrLn "Hello"
> も、Helloを出力するかどうかを決めるのにf xの評価が必要だから評価する

このケースで、本当に f x が評価されてるのかどうか、確認する方法はある？
（まぁこのケースだけの話じゃないけど）

ghc のソースを覗く以外なら手段は問わない