Symmetric_monoidal_functor loading ...