testsuite/tests/rename/should_fail/rnfail026.stderr


1
2
3
4
5
6


rnfail026.hs:16:27: error:
    • Expected kind ‘* -> *’, but ‘Set a’ has kind ‘*’
    • In the first argument of ‘Monad’, namely
        ‘(forall a. Eq a => Set a)’
      In the instance declaration for ‘Monad (forall a. Eq a => Set a)’