prop_toSeq :: BagTest Int bag => bag Int -> bag Int -> Bool
prop_toSeq bag xs =
    List.sort (S.toList (toSeq xs)) == toOrdList xs
prop_toSeq :: BagTest Int bag => bag Int -> bag Int -> Bool
prop_toSeq bag xs =
    List.sort (S.toList (toSeq xs)) == toOrdList xs
prop_toSeq bag xs =
    List.sort (S.toList (toSeq xs)) == toOrdList xs