Problem 5 [14pt] Consider the simply typed A-calculus and its typing rules defined in Note 4 (with type inference) a) (7pt) What constraints are generated for the term ( r. (Ay. (z y)) if we use the type system defined in N oem. b) (7pt) Suppose that during type inference, a compiler generates the following constraints to be solved: int constraint solving. Problem 5 [14pt] Consider the simply typed A-calculus and its typing rules defined in Note 4 (with type inference) a) (7pt) What constraints are generated for the term ( r. (Ay. (z y)) if we use the type system defined in N oem. b) (7pt) Suppose that during type inference, a compiler generates the following constraints to be solved: int constraint solving