
5 Jan
2024
5 Jan
'24
5:15 a.m.
Here is my vote: * [x] DataKinds * [ ] DefaultSignatures * [x] DerivingStrategies * [x] DisambiguateRecordFields * [x] ExplicitNamespaces * [x] GADTs with MonoLocalBinds * [ ] GADTs without MonoLocalBinds * [x] LambdaCase * [x] RoleAnnotations * [ ] TypeData * [ ] TypeFamilies * [ ] BlockArguments Rationale: I am conservative when it comes to these things and worry about rolling out too much too quickly on our shared understanding of Haskell. This set strikes the right balance for me. Chris