This defines Preord, the category of preorders with monotone maps.
The category of preorders.
Construct a bundled Preord from the underlying type and typeclass.
Constructs an equivalence between preorders from an order isomorphism between them.
OrderDual as a functor.
The equivalence between Preord and itself induced by OrderDual both ways.
The embedding of Preord into Cat.