(import (only (algebraic-structures monoid number sum base))) (import (only (algebraic-structures monoid make))) (module (algebraic-structures monoid number sum) = ((algebraic-structures monoid make) (algebraic-structures monoid number sum base)))