(functor
  (binop (M (op)))
  (op)
  (import scheme (prefix M m:))
  (define (op x y)
    (m:op x y)))