Почему использование моей функции в качестве параметра для другой функции вызывает ошибку? Haskell

Question

У меня есть две функции:

f1 :: Bool -> Int 
f1 x 
    | x == True  = 5 
    | x == False = 10 

f2 :: Int -> Int 
f2 x = x * 2 

Поскольку выход f1 правильный вход для f2, как приходят

f2 f1 True 

вызывает ошибку?

Я не знал, что помечать, поэтому теги могут быть неуместными.

Answer 1

Функциональное применение лево-ассоциативное, поэтому f2 f1 True такое же, как (f2 f1) True, а не f2 (f1 True). (f2 f1) True, очевидно, неверно типичен, так как аргумент f2 имеет тип Int, но f1 имеет тип Bool -> Int, а не Int.