pr quasiquote and GHC.TypeLits

[dmcclean]

[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.

A similar issue arises for Symbols.