**In the programming language ML** Write an ML function definition for each of the following functions. Try to predict what polytype ML will infer for each funtion. Then check your prediction using the ML language system. What is the polytype determined by ML for each case?

a. f(x) = 1

b. f(g) = g(1)