blob: c24587c1a69a78c53cdc26bd73cfe588235b3ce5 (
plain)
1
2
3
4
5
6
|
T17563.hs:5:9: error:
• Illegal equational constraint a b ~ a c
(Use GADTs or TypeFamilies to permit this)
• In the quantified constraint ‘forall (a :: * -> *). a b ~ a c’
In the type signature: blah :: (forall a. a b ~ a c) => b -> c
|