>>546
ラムダ式としては同値なはずのTest2がTest1よりも遅いのは、
グラフ簡約がうまく働いておらず、同じ内容の環境が２度作られているためです

sumX' x = memo sumX $ x の右辺の x は trie のおかげでメモ化されますが、
左辺の x が「自動ではメモ化されません」
（ちなみに、 $ は不要です）

多少長くなりますが、もう少し詳しく説明した方がいいでしょうか


Test3.hsのコストセンタ"sum1""sum2"がプロファイルに反映されていないのは、

f :: Bool -> Integer
f b = if b then sum [1..8000000] else undefined

main = putStrLn $ show ({-# SCC "sum1" #-}f True)

これでコストセンタ sum1 の処理時間・メモリ使用量がゼロを示すのと同じ理由です
f 関数内の sum [1..8000000] の直前に SCC を置いてみてください
ちゃんと計測できます

私は SCC の仕組み自体をまだよく理解していないので、
なぜ f True の直前ではダメなのか、その理由自体は分かりません
（if 以外にも、関数のパターンマッチや case で分岐しても同様ですね）