Definite improvement:
[ ] https://gitlab.haskell.org/ghc/ghc/-/issues/21702 (useful for deriving)
[ ] Warnings for OVERLAPPING and OVERLAPS.
[ ] Warnings for incoherent usage of OVERLAPPABLE instances.
[ ] Warnings for orphan flexible instances.
[ ] https://gitlab.haskell.org/ghc/ghc/-/issues/21782
[ ] Quantified constraints that work with type families
[ ] Generalised singletons (no proposal written-up)
[ ] Expand metavar x :: a when kind allows only one constructor, needed to replace ConstructNPFromVars stuff that also really fucks up compile-time performance
[x] Monadic viewpatterns replaced by https://github.com/JakobBruenker/monadic-bang
[ ] More powerful generics
Definite improvement: [ ] https://gitlab.haskell.org/ghc/ghc/-/issues/21702 (useful for deriving) [ ] Warnings for OVERLAPPING and OVERLAPS. [ ] Warnings for incoherent usage of OVERLAPPABLE instances. [ ] Warnings for orphan flexible instances. [ ] https://gitlab.haskell.org/ghc/ghc/-/issues/21782 [ ] Quantified constraints that work with type families [ ] Generalised singletons (no proposal written-up) [ ] Expand metavar
x :: a
when kind allows only one constructor, needed to replaceConstructNPFromVars
stuff that also really fucks up compile-time performance [x]Monadic viewpatternsreplaced by https://github.com/JakobBruenker/monadic-bang [ ] More powerful generics