The Thoralf plugin: for your fancy type needs

I think that an ability to extend (or, in a sense narrow down) the language via compiler plugins says something good about the compiler's architecture.

GHC was designed as a research-friendly compiler, and it seems to stay so.

^ Haskell ;)