/Functor/Free/Instance/

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