Write the types of the following expressions (OCaml). Assume that addition (+) operates on integers(int)).

map(x.1 +x) [1; 2; 3]

[(x.x+ 1); (x.x+ 2)]

map(f.f1) [(x.x+ 1); (x.x+ 2)]

map(f.y.f(y+ 1)) [(x.x+ 1); (x.x+ 2)]

fold-left(x y.ifythen1 +xelsex) 0 [true;false;true]

(f x.f x) (x.x+ 1) 2

fold-right(f x.f x) 0 [(x.x+ 1); (x.x+ 2)]

(f g.x.f(g x)) (x.x+ 2) (x.x)

fold-right(f g.x.f(g x)) (x.x) [(x.x+ 1); (x.x+ 2)]