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