Types inference FMFP
Here you have some functions were you can train your type inference skills. You might look up functions like map, +, <, ==, head, filter, elem, etc. if you don't know them by heart (but you should, you will be faster on the exam if you do). I will not publish solution for that. Use ":type" followed by a space and the function in ghci to get a result. I wish you good luck with the exam.
map ((+) 3) :: ? (\x y -> x < y) :: ? (\x -> x (<) + 1) :: ? (\x z -> z (x z)) :: ? (\x y -> x (\z -> y z)) :: ? (\x -> x (==), 1) :: ? filter (\x -> x elem) :: ? map map :: ? map.map :: ? [\x a -> (a 1) x] :: ? head.fst.head :: ? map (+) [1,2,3,4] :: ?