Product-Focused * Build a compiler that is explicitly not for research. Target industrial customers. * Start with tooling-support in mind. The MVP should launch with a language-server with equivalent features to HIE.
Don't support language features that aggressively complicate the compiler; eg. no -XTemplateHaskell or -XRebindableSyntax. Likewise, desugar before typechecking.
Remove overlapping language features; only have one way to do things. Do we really need fundeps and type families? Stock deriving and GHC.Generics? Do-notation and list comprehensions?