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