Features that are under discussion / consideration.

Some have not entered discussion yet but are small and potentially clear improvements that don't make the compiler unnecessarily complex.

Any feature must not make the compiler into the Haskell Compiler Monolith. Our goal is to keep the compiler and type system easy to reason about, easy to verify correctness, and easy to specify completely.