map f to (map x to f( x(x))) (map x to f(x(x)))
