/Functor/Instance/

• ../
• CMonoidalize.agda
• Cospan
• Decorate.agda
• DecoratedCospan
• Endo
• List.agda
• Monoidalize.agda
• Multiset.agda
• Nat
• Underlying