/Functor/Forgetful/Instance/

• ../
• CMonoid.agda
• Monoid.agda