add concatenate monoid