j
k
j a
j l
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
Back to the thread
Back to the list