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