/Object/

• ../
• Bimonoid.agda
• Biproduct.agda
• Monoid