The SemiRing(min,+) over a extended with infinity.
When a has a Num instance with an addition that respects order, then this is
transformed into a tropical semiring. It is assumed that 0 is the least element
of a.