--------------------------------------------------------------------------------

prop_SortSorts (xs :: [OrdA]) =
  ordered (msort xs)
prop_SortSorts (xs :: [OrdA]) =
  ordered (msort xs)
prop_SortSorts (xs :: [OrdA]) =
  ordered (msort xs)