/Data/WiringDiagram/Looped/Monoidal/

• ../
• Merge.agda
• Split.agda