A type signature is more polymorphic than the inferred type
Can't for-all the type variable(s) `a'
in the type `a -> Int'
- In an expression with a type signature:
- x :: _forall_ [a] (PrelBase.Eq a) => a -> Int
+ In an expression with a type signature:
+ x :: _forall_ [a] (PrelBase.Eq a) => a -> Int
Compilation had errors