Yes. I mentioned C++ templates, because I don't want to only talk about Haskell. (People make ghc do interesting things, too. And some of them are even not-so-ugly.)