prop_unsafeFromOrdSeq :: BagTest Int bag => bag Int -> [Int] -> Bool
prop_unsafeFromOrdSeq bag xs =
    si bag1
    &&
    toOrdList bag1 == xs'

  where xs' = List.sort xs
        bag1 = unsafeFromOrdSeq xs' `asTypeOf` bag
prop_unsafeFromOrdSeq :: BagTest Int bag => bag Int -> [Int] -> Bool
prop_unsafeFromOrdSeq bag xs =
    si bag1
    &&
    toOrdList bag1 == xs'

  where xs' = List.sort xs
        bag1 = unsafeFromOrdSeq xs' `asTypeOf` bag
prop_unsafeFromOrdSeq bag xs =
    si bag1
    &&
    toOrdList bag1 == xs'

  where xs' = List.sort xs
        bag1 = unsafeFromOrdSeq xs' `asTypeOf` bag