blob: 798272f7b054618e43ab40fb941573c7e6c64cfe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T13324_fail2.hs:7:1: error:
• No instance for ‘Eq (f (f a))’
arising from a 'deriving' declaration
Possible fix: fill in the wildcard constraint yourself
• When deriving the instance for (Eq (Foo f a))
T13324_fail2.hs:11:1: error:
• Can't make a derived instance of ‘Eq (T a)’:
Constructor ‘MkT’ is a GADT
• In the stand-alone deriving instance for ‘_ => Eq (T a)’
Suggested fix: Fill in the wildcard constraint yourself
|