XtensionMonoid

syntax