How the Ocaml type checker works | LTU | Dark Hacker News