Append monoid comparisons