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