Hello, I'm attempting to write a quasiquoter with relatively full antiquotation support. In doing so, I've arrived at I think an odd problem: the expression grammar in Language.Haskell.TH.Syntax doesn't seem to include splices. This seems to mean that my antiquotations can't themselves include splices, which is quite limiting. Am I misinterpreting? The type system in "Template metaprogramming for Haskell" seems to imply no such restriction on the occurrences of splices. (As an additional complication: what I really need to do is return typed splices; my "quasiquoter" relies on its expected type to determine its behavior. However, this seems like an uninteresting extension of the above problem.) Thanks, /g -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.