blob: a63cce3bc299f8f61020bdaba64a1238a38e998e (
plain)
1
2
3
4
5
6
7
|
T15116a.hs:6:21: error: [GHC-88634]
• Data constructor ‘MkB’ cannot be used here
(it is defined and used in the same recursive group)
• In the first argument of ‘Proxy’, namely ‘'MkB’
In the type ‘(Proxy 'MkB)’
In the definition of data constructor ‘MkB’
|