Add [] as Monoid