whys is this the correct answer?

Consider the following Haskell code. {- func a b c PRE: ?PRE? RETURNS: ?RETURNS? -} func :: ?TYPE? func True b c = b func False bc=c What is a type (?TYPE?) of func? Select one alternative: Bool -> b -> C-> a Bool -> -> -> a > a -> b -> C->d Bool -> (a -> a) -> a Bool -> (b->c) -> a