Make Unit and Ord Monoid