Refactor treatment of wildcards
[ghc.git] / testsuite / tests / rename / should_fail / rnfail026.stderr
1 \r
2 rnfail026.hs:16:27: error:\r
3     The first argument of ‘Monad’ should have kind ‘* -> *’,\r
4       but ‘Eq a => Set a’ has kind ‘*’\r
5     In the instance declaration for ‘Monad (forall a. Eq a => Set a)’\r
6 \r
7 rnfail026.hs:19:10: error:\r
8     Illegal polymorphic or qualified type: forall a. [a]\r
9     In the instance declaration for ‘Eq (forall a. [a])’\r