Dependently-typed Curried printf in C++

Just a few days ago I came across an intriguing blog-post  about type-safe printf using dependent typing. The blog-post has since become in...