(module (algebraic-structs monoid number product base) (op unit)
  (import scheme)

  (define op *)
  (define unit 1))