blob: 4d438c3821e946a059a8a4cbb6c61d9aa4823a80 (
plain)
1
2
3
4
5
6
7
|
rnfail053.hs:6:10: error:
• Data constructor ‘MkT’ has existential type variables, a context, or a specialised result type
MkT :: forall a. a -> T
(Enable ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘MkT’
In the data type declaration for ‘T’
|
