Heaps in Agda