zero/monoid syntax collision