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