tcfail065.hs:29:
- A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `aT2'
- in the type `aT2 -> X x -> X x'
+ Inferred type is less polymorphic than expected
+ Quantified type variable `x' escapes; i.e. unifies with something more global
When checking the type signature for `setX'
+ Signature: x -> X x1 -> X x1
+ Inferred: x -> X x -> X x
In the definition for method `setX'