Unary functions as monoids (concatable with empty)