>> 443, 475
バイナリ見なくてもCoreを見ればわかります。

ghc-core -- -ddump-simpl -dsuppress-coercions -dsuppress-module-prefixes -O Foo.hs

とかするとCoreが出力されます。手元のGHC 7.0.3@MacだとSCCありなしどちらでも

main7 :: Integer
-- 略
main7 = sum_sum'1 main8 genericLength1

main6 :: Integer
-- 略
main6 = plusInteger main7 main7

という感じでCSEが働いているようです。最適化をやめて-O0にすると2回計算します。