1 2 3 4 5
(import (only (algebraic-structures monoid number product base))) (import (only (algebraic-structures monoid make))) (module (algebraic-structures monoid number product) = ((algebraic-structures monoid make) (algebraic-structures monoid number product base)))