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.