blob: 60edf6bc2529d3435184e9a32f33eb56f02b924f (
plain)
1
2
3
4
5
6
7
|
T13780a.hs:9:40: error: [GHC-88634]
• Data constructor ‘MkFoo’ cannot be used here
(it has an unpromotable context ‘a ~ Bool’)
• In the second argument of ‘(~)’, namely ‘MkFoo’
In the definition of data constructor ‘SMkFoo’
In the data instance declaration for ‘Sing’
|