https://123dok.net/document/zkwo4rn4-typing-delimited-continuations-new-solutions-printf-problem.html