(functor ((algebraic-structs monoid make) (F (op id)))
    (op id)
  (import F))