(module (algebraic-structs monoid number sum base) (op id)
  (import scheme)

  (define op +)
  (define id 0))