DefaultMonoids

forms

doubleW

Writes