* Problem 2 (16 points) * Give full type derivations for the following using the LFP+ typing rules given in class (and page 3). (a) (if !! > 4 then 9 else 6) 11: int (C) ??.xy. (y x) : ? (? ?) ? (d) ?.??. (f x) : (int bool) int bool (e)-M.AgAx.? (g x)) : (int?bool) ? (int-int) ?int-bool * Problem 2 (16 points) * Give full type derivations for the following using the LFP+ typing rules given in class (and page 3). (a) (if !! > 4 then 9 else 6) 11: int (C) ??.xy. (y x) : ? (? ?) ? (d) ?.??. (f x) : (int bool) int bool (e)-M.AgAx.? (g x)) : (int?bool) ? (int-int) ?int-bool