property("deleteMinShouldBeEmpty") = forAll { a: A =>
    val aHeap = insert(a, empty)
    val deleted = deleteMin(aHeap)
    isEmpty(deleted)
}