run printi!(\(f:/[Int /Int] x:Int):Int = (f (f x)) \(x) = (+ x x) 3)