(functor ((algebraic-structures functor) (F (map)))
    (map)
  (import F))