Return a Monoid that reverses the order.
Monoid
@override Monoid<T> reverse() => _Monoid(empty, (x, y) => combine(y, x));