[Haskell-cafe] C++ vs. Haskell: Type-Level Death Match

[Don Stewart]

http://www.rubinsteyn.com/template_insanity.html

The C++ response to Conrad's 'instant insanity' type program from the
last Monad.Reader !

Can we do better still with the planned type-level programming of type
families?

-- Don