blob: 6aa899b36d9452c6d2e362deb192d4613101d9bc (
plain)
1
2
3
4
5
6
7
8
9
10
|
rnfail026.hs:16:17:
Kind mis-match
The first argument of `Monad' should have kind `* -> *',
but `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])'
|
