/Functor/Cartesian/

• ../
• Instance