Binomial heaps with GADT-enforced shape constraints. After reading the first few sentences of [this issue (16)[http://themonadreader.wordpress.com/2010/05/12/issue-16/] of The Monad Reader, I decided to implement my own binomial heaps without reading the rest of the article.