blob: bb78e2f4572b10ab055b35dc801abd1c6bf55dfc (
plain)
1
2
3
4
5
6
7
|
T16326_Fail6.hs:9:3: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
MkFoo :: forall a. a -> Foo a
• In the definition of data constructor ‘MkFoo’
In the data type declaration for ‘Foo’
|