/Functor/Instance/DecoratedCospan/

• ../
• Stack.agda