我一直试图理解共享计算在Haskell中是如何工作的。根据我的理解，无点共享计算应该只计算一次（由CSE提供）。
(A)例如，请考虑以下代码及其输出：

*Main> let foo = trace "eval foo" 5 in foo + foo
eval foo
10

*Main> let foo' = \x -> trace "eval foo'" x in (foo' 5) + (foo' 5)
eval foo'
eval foo'
10

正如预期的那样，foo只被计算一次（CSE可能会起作用），而foo'被惰性地计算两次。这很好。我使用GHCi 7.6.3版尝试了上面的代码。接下来，我在GHCi 8.6.5版中尝试了相同的代码，得到了以下结果：

*Main> let foo = trace "eval foo" 5 in foo + foo
eval foo
eval foo
10

请注意，foo现在计算了两次。
(B)同样，对于GHCi 7.6.3版：

*Main> let goo = const (trace "eval goo" 5) in goo () + goo ()
eval goo
10

但是，GHCi版本8.6.5对goo求值两次：

*Main> let goo = const (trace "eval goo" 5) in goo () + goo ()
eval goo
eval goo
10

(C)最后，两个版本对以下项产生相同的结果：

*Main> let foo_wrapper x = let foo = trace "eval foo" x in foo + foo
*Main> foo_wrapper 5
eval foo
10

我想知道在GHCi-8中是否默认关闭了一些优化，或者trace的副作用是否强制foo被计算两次？或者GHCi-7中是否存在问题？GHCi应该如何处理像（A）和（B）这样的表达式？

（更新1）

对于场景（C），考虑GHCi-8中的以下运行（主要差异在于trace的第二个参数）：

*Main> let foo_wrapper x = let foo = trace "eval foo" x in foo + foo 
*Main> foo_wrapper 5
eval foo
10
*Main> :t (foo_wrapper 5)
(foo_wrapper 5) :: Num a => a

*Main> let foo_wrapper' x = let foo = trace "eval foo" 5 in foo + foo 
*Main> foo_wrapper' ()
eval foo
eval foo
10
*Main> :t (foo_wrapper' ())
(foo_wrapper' ()) :: Num a => a