Exercise 5 Write an ML function definition for each of the following functions. Try to predict what polytype ML will infer for each function. Then check your pre- diction using the ML language system. What is the polytype determined by ML for each case? a. f(x)=1 b, fix,y) = 1 df(x,y) = x e. fg) g(1) f. Rg.x) = g(x) g. f(g,x,y)=g(x,y) h, f(g,h,x) = g(h(x)) i. fig,x)=g(g(x)) Exercise 5 Write an ML function definition for each of the following functions. Try to predict what polytype ML will infer for each function. Then check your pre- diction using the ML language system. What is the polytype determined by ML for each case? a. f(x)=1 b, fix,y) = 1 df(x,y) = x e. fg) g(1) f. Rg.x) = g(x) g. f(g,x,y)=g(x,y) h, f(g,h,x) = g(h(x)) i. fig,x)=g(g(x))