(functor ((algebraic-structures monoid make) (F (<> unit)))
    (<> unit)
  (import F))