/Functor/Instance/Underlying/SymmetricMonoidal/