prop_deleteSeq :: BagTest Int bag => bag Int -> Seq Int -> bag Int -> Bool
prop_deleteSeq bag xs ys =
    deleteSeq xs ys === S.foldr delete ys xs
prop_deleteSeq :: BagTest Int bag => bag Int -> Seq Int -> bag Int -> Bool
prop_deleteSeq bag xs ys =
    deleteSeq xs ys === S.foldr delete ys xs
prop_deleteSeq bag xs ys =
    deleteSeq xs ys === S.foldr delete ys xs