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

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? :-)