Binomial heap, from Chris Okasaki