(import (algebraic-structures reducible)
        (only (algebraic-structures private list)))
(module (algebraic-structures list reducible) = ((algebraic-structures reducible) (algebraic-structures private list)))