Picture[Alg,A] has a Monoid instance if:
Layout
Shape
Monoid
In this case the combine is on, with identity empty.
on
empty