[Haskell-cafe] GHCi gives type signature that won't compile.