Make an append and zero into an instance.
A monoid for sequencing Applicative effects.
Monoid is an invariant functor.