ところでなんで明示的に指示しないとグラフ簡約してくれないの？
参照透明なら関数と引き数の纏まりも簡約しちゃって害無いでしょ？