f(1)(2)3 where f a b c is g c where (g x is h a) where h y is x+y