Hi, any chance of support for existential datatypes in template-haskell... It currently supports local universal quantification: data A = A (forall a . a) but not existental: data A = forall a . A a Is this hard to add? It would be really useful to me if TH did support existentials... Regards, Keean.