Use OrdList monoid for orderedNtoS