https://typeinference.com/typing/2015/10/05/type_inference.html