http://shootout.alioth.debian.org/u32/benchmark.php?test=all&lang=ghc&lang2=ocaml

によると、source sizeで一番Ocamlに差をつけられているのがregex-dnaというプログラム

Haskell GHCのコード
http://shootout.alioth.debian.org/u32/benchmark.php?test=regexdna&lang=ghc

Ocamlのコード
http://shootout.alioth.debian.org/u32/benchmark.php?test=regexdna&lang=ocaml

詳しい人解説プリーズ、と思ったらそもそもOcamlのコード動いてねえ！