/Functor/Free/Instance/

• ../
• CMonoid.agda
• InducedSetoid.agda
• Monoid.agda
• Preorder.agda