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