some simple examples
more semigroup append