/Functor/Forgetful/Instance/

• ../
• Monoid.agda