Improved typeclasses: Monoid, Logger and Order.