/Functor/

• ../
• Cartesian
• Exact.agda
• Exact
• Forgetful
• Free
• Instance
• Monoidal