Общая композиция функций в Haskell

Я читал здесь , и я заметил, что, например, если у меня есть следующие определения функций:

a :: Integer->Integer->Integer
b :: Integer->Bool

Следующее выражение недопустимо :

(b . a) 2 3

Довольно странно, что функции композиции должны иметь только один параметр.

Это ограничение связано с какой-то проблемой в определении самого общего параметра в Haskell или по какой-то другой причине?

Я новичок в Haskell, поэтому задаю бесполезные вопросы.