start refining ocaml and haskell installation instructions