Attempt an additional deleteMin spec:
Attempt an additional deleteMin spec:

  toList (deleteMin (Bin n x l r)) = tl (toList (Bin n x l r))

Currently stuck due to a lack of principles regarding balanceR.

antalsz/hs-to-coq,antalsz/hs-to-coq