fixing Adjunction imports: "hiding" is not very future-proof
DinaturalTransformation: _∘>_ via duality