Dagger_symmetric_monoidal_category loading ...