Monoidal_adjunction loading ...