Sorted newtype