/Functor/Instance/

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