Let AST impls also use monoids.