Write the OrdList datatype and its Monoid instance.