Semigroup instance for [a]