I read that blog a bit and it seems to have the following pattern overall: elegant 5-line Haskell program. Then follows 100-line unreadable C++ implementation. My conclusion is that C++ is a very bad language to try to do Haskell :-)

This doesn't mean that C++ doesn't have its uses, but for your sanity's sake don't use it for high-level metaprogramming.