Cartesian_monoidal_category loading ...