Hi, I have the following kind of template haskell code: module Foo where foo :: String -> Name -> Q [Dec] foo str name = return [] module Bar where bar :: String bar = "whatever" module FooBar where import Foo import Bar foo bar 'bar It works great as in `foo` I can use both bar's Name and bar's value computed at compile time. But it's unsafe for my purpose because a user could call: `foo "fakeBarValue" 'bar` So the question is: is there a way to write `foo` so that it can only be used safely? If not, I guess it could be possible to add a new kind of quote to TH, something like: data Named a = Named Name a -- constructor not exported so that Named values can't be forged by users. [namedValue||bar||] :: Named String -- new quote What do you think? Thanks, Sylvain