The Thoralf plugin: for your fancy type needs (dl.acm.org)

^ Haskell ;)

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.