blob: f220f81812d4e46b667fe7b4b47d7a09d6e90544 (
plain)
1
2
3
4
5
6
7
8
9
|
rnfail026.hs:16:27: error:
The first argument of ‘Monad’ should have kind ‘* -> *’,
but ‘Eq a => Set a’ has kind ‘*’
In the instance declaration for ‘Monad (forall a. Eq a => Set a)’
rnfail026.hs:19:10: error:
Illegal polymorphic or qualified type: forall a. [a]
In the instance declaration for ‘Eq (forall a. [a])’
|