/Functor/Cartesian/Instance/Underlying/

• ../
• SymmetricMonoidal