3. Given the following function definition in a language with polymorphism and inferred types but no subtyping, Find the most general type of the function h in the following program. h (f, g, x) [ if (x 1) return "hello"; else return g (f (x)); Assume that is of type int, "hello" is of type string, and comparison for equality is only available for two values of the same type Explain