y:bool    x:int    2:int
                       ____________________
           x:int, y:boolㅏ if y then x else 2 : int
            ________________________________
   x:int ㅏ( fun y -> if y then x else 2) : bool -> int
   ____________________________________________
ㅏ(fun x -> (fun y -> if y then x else 2)) : int -> bool -> int