Not exactly what you are looking for, but there may be some connection. The following situation is frequent: a monoid $M$, an equivalence relation $R$ on $M$ which is compatible with the monoid operator, and $M/R$ is an idempotent monoid. Examples:
- Polynomials with a positive highest-degree coefficient, as an additive cancellative monoid:  
$P \mathbin R Q$ is $\operatorname{deg}(P) = \operatorname{deg}(Q)$.
- Functions $\mathbb{R}^+ \rightarrow \mathbb{R}^+$ as an additive cancellative monoid, with [Big O][1] equivalence relation on some point $a$ (where $a \in \mathbb{R}$ or $a=+\infty$ or $a=-\infty$):  
$f \mathbin R g$ is $f(x) = \mathcal{O}(g(x))$ as $x \to a$.
- Sets with infinite cardinal, operation is union:  
$A \mathbin R B$ is $\operatorname{card}(A) = \operatorname{card}(B)$.
- Geometric or topological sets, with union:  
$\mathbin R$ is having the same dimension (for _some_ dimensions, e.g. Hausdorff).

All these examples share the same pattern: the resulting idempotent monoid is a totally ordered set, and the operator is $\max$. One could build more complex examples with the same ingredients, e.g. multiple-variable polynomials, with $\operatorname{deg}$ being the set of highest-degree terms, but that looks artificial.

One possible question: given an idempotent monoid, can it always be considered as the quotient of a cancellative monoid?


  [1]: https://en.wikipedia.org/wiki/Big_O_notation