Is the "Embedded domain-specific language HANSEI for probabilistic models and (nested) inference"  described in: http://okmij.org/ftp/kakuritu/index.html#implementation  available in Haskell?     Is there a reason why the author did the package in Ocaml rather than Haskell?

--
Daryoush