3. Consider a function with polymorphic type f : ('a * 'b) -> ('b -> 'a)...

Transcribed Image Text:

3. Consider a function with polymorphic type f : ('a * 'b) -> ('b -> 'a) -> a 3.1. What is the type of f (0, true) ? 3.2. What is the type of fun x y -> f (x, y) ? Does it have the same type as f ? Briefly explain your reasoning. 3. Consider a function with polymorphic type f : ('a * 'b) -> ('b -> 'a) -> a 3.1. What is the type of f (0, true) ? 3.2. What is the type of fun x y -> f (x, y) ? Does it have the same type as f ? Briefly explain your reasoning.