Remove redundant type applications in Core
This ticket is a fork for #12618, which proposes to add saturated data constructor applications to Core with the purpose of omitting redundant type applications (think (,)), and explores generalizing the idea to any application.
Below are my comments to that ticket, which I delete there, to make it less noisy (I got excited on the travel back from ICFP and spammed it too much).
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |