concat for completeness
List monoid and monoid endomorphisms under composition