A mini Haskell interpreter in OCaml