TH could do a better job of representing GADTs
For example, it's impossible to add a kind signature on a data type with DataD.
In Con I believe it's possible to encode GADT constructor signatures using NormalC (haven't tried this yet), but ideally there would be another constructor specific to GADTs to go along with RecC, InfixC, and ForallC.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.2 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Template Haskell |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Edited by spinda