Вооще, как вариант бы, писать критичные по быстродействию места, которые не удается написать на чистом хаскеле, на окамле (с его возможной императивностью и мутабельность) а всё остальное на хаскеле.

Вопрос -- насколько просто взаимодействие хаскеля с окамлом? По идее, языки очень похожи, по кр. мере множество абстракций у них неплохо пересекается, так что, в теории, всё должно быть хорошо.