blob: 7c9b856677d941a9ccebb5d0c484f7513947a50e (
plain)
1
2
3
4
5
6
7
|
UnlDataNullaryPoly.hs:10:10: error:
• Quantified type's kind mentions quantified type variable
type: ‘forall (l :: Levity). T’
where the body of the forall has this kind: ‘TYPE ('BoxedRep l)’
• In the definition of data constructor ‘MkT’
In the data type declaration for ‘T’
|