(functor
  (arith (M (plus)) (N (minus))) 
  (add sub)
  (import scheme (prefix M m:) (prefix N n:))
  (define (add x y)  (m:plus x y))
  (define (sub x y)  (n:minus x y)))