Problem 1. Does the following function definition type check with Hindley-Milner type checking? If yes, provide the types of a, b, and c, otherwise demonstrate why it does not type check fun f(a,b,c) - if al 101 (b) then a [c] else b+4.2 + c