/Functor/Instance/DecoratedCospan/

• ../
• Embed.agda
• Stack.agda