/Functor/Instance/Underlying/

• ../
• SymmetricMonoidal