/Functor/Instance/

• ../
• Cospan
• Decorate.agda
• DecoratedCospan
• Endo
• List.agda
• Nat
• Underlying