/Data/Vector/Endofunctor/

• ../
• Monoid.agda
• Setoid.agda