monoid instances for Sig and D
q