let phi = function h -> (function f, g -> function x -> h (f (x), g (x)))