... | ... | @@ -39,7 +39,7 @@ We should be clear about the dependencies between items on this list. |
|
|
|
|
|
- Visible type abstraction: [Original proposal](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0050-type-lambda.rst), modified [here](https://github.com/ghc-proposals/ghc-proposals/pull/238). Also Richard & Simon Slack 27 June 19.
|
|
|
|
|
|
- #17131, #17113: levity polymorphism.
|
|
|
- #17131, #17113, #17201: levity polymorphism.
|
|
|
- #17026: `IntRep` and `WordRep`
|
|
|
- #17033: kind checking recursive types
|
|
|
|
... | ... | |