>>301
-ddump-simplオプションで最適化済みのGHCの中間コードが見られる
その例のままだと、fが小さい関数だから-Oでインライン化されてb = T 4 18まで最適化される
インライン化できないほど大きいfの場合でも、worker/wrapper変換という最適化がかかるから
すぐ捨てるような中間データは排除してくれることが多い