(module (algebraic-structures monoid number product base) (<> unit)
  (import scheme)

  (define <> *)
  (define unit 1))