Dual
monoids