(letfun compose p (let f (fst p)
                      (let g (snd p)
	                 (letfun h x (@f (@g x))
			    h)))
   (letfun plus1 x (+ x 1)
      (letfun minus1 x (- x 1)
         (let j (@compose (pair plus1 minus1))
            (@ j 0)))))   { should give 0 }