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