/Functor/Free/Instance/MonoidalPreorder/

• ../
• Lax.agda