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