Newbie trying to get through Bird. Could someone provide a clean solution, with proof (so I can see how these proofs are laid out), to this:
Given:
f :: Integer -> Integer
g :: Integer -> (Integer -> Integer)
h :: ...
h x y = f (g x y)
Questions:
a. Fill in the type assignment for "h".
b. Which of the following is true:
(i) h = f . g
(ii) h x = f . (g x)
(iii) h x y = f . (g x y)