added the monoid append syntax