(import (only (algebraic-structs monoid number product base))) (import (only (algebraic-structs monoid make))) (module (algebraic-structs monoid number product) = ((algebraic-structs monoid make) (algebraic-structs monoid number product base)))