https://123dok.net/document/yr3jlex8-type-inference.html