[Template-haskell] Splicing in a TypQ == parse error?

[Simon Peyton-Jones]

| How do you splice in a type in Template Haskell?  The quasi-quote
| notation seems to work succesfully, but attempting to splice it gives
| me a parse error:

At the moment you can't.  See

http://haskell.org/pipermail/template-haskell/2003-February/000021.html

I'd like to solve that.  Tim is visiting next week, so we'll be
discussing it.  Meanwhile, do others have opinions?

Simon