(import (algebraic-structures group)
        (only (algebraic-structures private number product)))
(module (algebraic-structures number product group) = ((algebraic-structures group) (algebraic-structures private number product)))