What's the difference between type1 -> type2 -> type3 and type1 -> (type2 -> type3)?

Question

Why

let f1 a b = a + b

and

let f2 a = fun b -> a + b 

both produce values with type a:int -> b:in