(module (algebraic-structures monoid number sum base) (op unit) (import scheme) (define op +) (define unit 0))