blob: dc6ee9691aa1516acb7f7f33cf6f7672a6f9ce9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
rnfail026.hs:16:27: error:
• Expecting one fewer arguments to ‘Set a’
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)’
rnfail026.hs:19:10: error:
• Illegal polymorphic type: forall a. [a]
• In the instance declaration for ‘Eq (forall a. [a])’
|
