(import (algebraic-structures semigroup)
        (only (algebraic-structures private number sum)))
(module (algebraic-structures number sum semigroup) = ((algebraic-structures semigroup) (algebraic-structures private number sum)))