import {IntegerAdd} from '@functional-abstraction/measure/src/0-core/1-monoids/IntegerAdd.js'
plus(a: *, b: *): *
zero(): number