[happy_bzy]

For ocaml programmers, there is also a lecture about type inference in ocaml: https://cs3110.github.io/textbook/chapters/interp/inference....