1 2 3 4 5
(module (algebraic-structs monoid number sum base) (op id) (import scheme) (define op +) (define id 0))