/Functor/Instance/Cospan/

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