misc ocaml, haskell, ls, etc