whenEqual
Order
whenEqualMonoid
Order