1 2 3 4
(import (algebraic-structures applicative) (only (algebraic-structures private vector applicative))) (module (algebraic-structures vector applicative) = ((algebraic-structures applicative) (algebraic-structures private vector applicative)))