https://9dok.net/document/y4wd6e8k-making-the-implicit-explicit.html