prop_toOrdSeq :: BagTest Int bag => bag Int -> bag Int -> Bool
prop_toOrdSeq bag xs =
    S.toList (toOrdSeq xs) == toOrdList xs
prop_toOrdSeq :: BagTest Int bag => bag Int -> bag Int -> Bool
prop_toOrdSeq bag xs =
    S.toList (toOrdSeq xs) == toOrdList xs
prop_toOrdSeq bag xs =
    S.toList (toOrdSeq xs) == toOrdList xs