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