[Haskell-cafe] Strictness that GHC infers for functions