Eta-reduced term has wrongly inferred monomorphic type
When creating a file with the following two definitions:
rowtotals xs = map sum xs rowtotals' = map sum
And loading this file in GHCi. Asking for the type of the two definitions gives:
*Main> :t rowtotals rowtotals :: Num b => [[b]] -> [b] *Main> :t rowtotals' rowtotals' :: [[Integer]] -> [Integer]
Is this the expected behaviour? I would expect both to have the same polymorphic type.
|Component||Compiler (Type checker)|
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information