/Functor/

• ../
• Cartesian
• Exact.agda
• Exact
• Instance