Re[2]: Adding type signature changes semantics (was [Haskell-cafe] Lazy in either argument?)