создание автономных верхних уровней с помощью OCaml и Haskell

В Common Lisp программы часто создаются как двоичные файлы с встроенным транслятором. StumpWM - хороший тому пример.

Как можно сделать то же самое с Haskell и OCaml?

Нет необходимости предоставлять отладчик, как это делает Common Lisp, цель состоит в том, чтобы делать расширения, не зависящие от всего пакета транслятора (xmonad, который требуется GHC).

PS Я знаю об ocamlmktop, и он отлично работает, за исключением того, что я действительно не понимаю, почему он требует pervasives.cmi и не связывает его с двоичным файлом. Итак, лучшее, что я могу сделать, это mycustomtoplevel -I /path/to/dir/with/pervasives.cmi/. Есть ли способ отменить его?