/Preorder/Primitive/MonotoneMap/

• ../
• Monoidal