Datastructure for functional peristent heaps, from ML for the Working Programmer