Monoidal_closed_category loading ...