blob: 0961d5f7508840738f81d384debde4d9118642f3 (
plain)
1
2
3
4
5
6
7
|
T13871.hs:16:18: error: [GHC-88634]
• Data constructor ‘MkFoo’ cannot be used here
(it has an unpromotable context ‘(a ~ Int, b ~ Char)’)
• In the first argument of ‘SFoo’, namely ‘MkFoo’
In the type ‘SFoo MkFoo’
In the definition of data constructor ‘SMkFoo’
|