> a newtype for ordered lists why not: newtype Ordlist a = Ordlist [a] and a ctor: ordList::[a]->OrdList a ordList = OrdList . sort sort :: Ord a => [a] -> [a] from Data.List