About Implementations of type checkers in Types and Programming Languages using Haskell instead of OCaml. Progress [*] Chap.04 Arith [*] Chap.05 Lambda