Caml-haskell2 is a project mainly written in OCAML and SHELL, it's free.

Challenge to implement Programming Language Haskell in OCaml