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