Haskell 98 compiler, implemented in OCaml