Hello, Is it possible to have a TH splice in a type signature? It seems to generate a parse error, but I thought there might be another syntax that I'm not aware of. Thanks, Frederik -- http://ofb.net/~frederik/