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