[pr| 3 |] doesn't work (with DataKinds on), because:
Illegal type variable name: `3'
When splicing a TH expression:
Data.Proxy.Proxy :: Data.Proxy.Proxy 3
I'm not sure if this is fixable with the present state of play, because ''3 is a parse error. I'm not sure if there is a TH Name that corresponds with the type 3. I tried a few avenues and couldn't get anything to work, so I don't have a patch to offer.
[pr| 3 |]doesn't work (withDataKindson), because:I'm not sure if this is fixable with the present state of play, because
''3is a parse error. I'm not sure if there is a THNamethat corresponds with the type3. I tried a few avenues and couldn't get anything to work, so I don't have a patch to offer.A similar issue arises for
Symbols.