blob: 1c80190e2959fe635ad1e0b8daaa9a262940dc94 (
plain)
1
2
3
4
5
6
7
|
T16427.hs:5:14: error:
• GADT constructor type signature cannot contain nested ‘forall’s or contexts
Suggestion: instead use this type signature:
C :: forall b. Int -> b -> D
• In the definition of data constructor ‘C’
In the data type declaration for ‘D’
|