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