Языки всё-таки не очень-то и похожи, системы типов отличаются довольно сильно. В Окамле, например, нет классов типов. Это уже влияет на внутреннее устройство полиморфных функций.
Не смог нагуглить что-нить толковое по взаимодействию Хаскелла с Окамлем, видимо, придётся использовать сишный интерфейс, так как у обоих языков есть средства FFI с сями...