lazy val genHeap: Gen[H] = for {
    x <- arbitrary[A]
    h <- oneOf[H](empty, genHeap)
  } yield insert(x, h)