RE: splicing types

In trying to explain something, I wrote:

(Omitted $(encT 1000))

and (Omitted $(encT "hello"))

but I meant (Omitted $(encT [|1000|]) and (Omitted $(encT [|"hello"|]).  I.e. encT is a (monomorphic) function of type (Q Exp -> Q Type), as specified in my original message.