[Haskell-cafe] Monad.Reader 8: Haskell, the new C++

[Claus Reinke]

> PS: And, no, you won't be able to set breakpoints in type-level
>     programs...

but will i be able to lift type-level programs to the kind level?

:-)