Hi, i am trying to understand the Haskell type system. I thought i understood it quite well until i encountered the three following exercises. As you can see, i have the answers already. But i don't understand, why they are correct. Could anybody tell me a good place where i could learn how to answers these kind of questions correctly or could give me some explanations, why these answers are correct? Any help is highly appreciated. Kind regards Chris Two functions f and g with the following signatures are given: f :: a -> a g :: b -> c -> b A) Give the type of the following expressions: 1) g [False] True :: 2) g [] True :: 3) g (f True) :: 4) g f :: Answers: 1 [Boolean] 2) [a] 3) c -> Bool 4) c -> (a -> a)1) g f 1 B) Which of the following statements is correct? 2) g (f 1) is type correct 3) g . (f 1) is type correct 4) g . f 1 is type correct 5) (g . f) 1 is type correct 6) none of the expressions is correct Answers: 1,2 and 5 are correct. C) A function h is given as: h p x = p (f x). Which of the following statements is correct. 1) h :: a -> b -> a -> b 2) h :: (a -> a) -> a -> a 3) h :: (a -> b) -> a -> b 4) h is equivalent to h' with h' p = p . f 5) h is equivalent to h' with h' p = p f 5) h is equivalent to h' with h' p x = p f x Answers: (I am not sure, if i remember correctly, but 3) and 4) should be correct.)