MinCaml on Haskell