(import (only (algebraic-structs applicative make)))
(import (only (algebraic-structs applicative list base)))

(module (algebraic-structs applicative list) =
  ((algebraic-structs applicative make) (algebraic-structs applicative list base)))