This file defines DistLat, the category of distributive lattices.
Note that DistLat in the literature doesn't always
correspond to DistLat as we don't require bottom or top elements. Instead, this DistLat
corresponds to BddDistLat.
The category of distributive lattices.
Construct a bundled DistLat from a DistribLattice underlying type and typeclass.
Constructs an equivalence between distributive lattices from an order isomorphism between them.
OrderDual as a functor.
The equivalence between DistLat and itself induced by OrderDual both ways.