https://typeinference.com/languages/2017/01/12/deeply-typed-programming-languages.html