More heaps from Okasaki