2 <NoSrcLoc>: A type signature is more polymorphic than the inferred type
3 Some type variables in the inferred type can't be forall'd, namely:
5 Possible cause: the RHS mentions something subject to the monomorphism restriction
6 When checking signature for `setX'