dc6ee9691aa1516acb7f7f33cf6f7672a6f9ce9f
[ghc.git] / testsuite / tests / rename / should_fail / rnfail026.stderr
1
2 rnfail026.hs:16:27: error:
3     • Expecting one fewer arguments to ‘Set a’
4       Expected kind ‘* -> *’, but ‘Set a’ has kind ‘*’
5     • In the first argument of ‘Monad’, namely
6         ‘(forall a. Eq a => Set a)’
7       In the instance declaration for ‘Monad (forall a. Eq a => Set a)’
8
9 rnfail026.hs:19:10: error:
10     • Illegal polymorphic type: forall a. [a]
11     • In the instance declaration for ‘Eq (forall a. [a])’