Human friendly template metaprogramming. Take the continuation monad to the extreme.