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