Export Monoid interface, deprecate empty, append