prop_SortPermutes x (xs :: [OrdA]) =
  count x (msort xs) == count x xs
prop_SortPermutes x (xs :: [OrdA]) =
  count x (msort xs) == count x xs
prop_SortPermutes x (xs :: [OrdA]) =
  count x (msort xs) == count x xs