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

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