> Typed intermediate language. GHC has always used a statically typed intermediate language, one of very few production compilers to do so. (Maybe even the only

> Typed intermediate language. GHC has always used a statically typed intermediate language, one of very few production compilers to do so. (Maybe even the only one.) Let's keep that property. Richard's thesis makes it clear that doing so is not straightforward. -- Simon PJ (https://github.com/ghc-proposals/ghc-proposals/pull/378#issuecomment-728113583 https://github.com/ghc-proposals/ghc-proposals/pull/378#issu...) So it looks like it's rare to even have a typed intermediate language, let alone one whose structure forces it to be well typed. The latter would require some sort of dependent types.