{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidv7wukc5lrdn5asu5gfhnwtfrwfl6zg4tyhkqw34kka6bl3aagq4",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mnajngqwsz62"
  },
  "path": "/t/template-haskell-quotations-guide/14185#post_2",
  "publishedAt": "2026-06-01T15:01:32.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "ghc/#24922",
    "6.13. Template Haskell — Glasgow Haskell Compiler 9.15.20260306 User's Guide"
  ],
  "textContent": "It’s sadly not possible to splice a value of type `Name`. See: ghc/#24922\n\nSometimes you can splice a `Name` by turning it into a `Exp`, `Pat` or `Type`.\n\nSplicing is documented here: 6.13. Template Haskell — Glasgow Haskell Compiler 9.15.20260306 User's Guide\nSo, the only allowed types (currently) are `Q Exp`, `Q Pat`, `Q Type` and `Q [Dec]`.\n\nType errors can be a helpful way if finding out what is expected. If you put something of type `Q Exp` where you need a `Q Pat`, then the error should tell you.",
  "title": "Template haskell quotations guide"
}