/Functor/Monoidal/Instance/WiringDiagram/

• ../
• System.agda