Как я могу реализовать чисто функциональную стандартную двоичную кучу (ocaml или haskell)?

Существуют ли какие-либо реализации чисто функциональной стандартной двоичной кучи? Я знаю, что есть много интересных куч, например: биномиальная, левая куча, все они имеют функциональную реализацию, просто интересно, есть ли способ реализовать стандартную двоичную кучу, или мы должны использовать массив для ее реализации из-за неизменного типа? Спасибо!