Я пытаюсь выполнить композицию функций в Haskell, и я не уверен, какой оператор является правильным...

Я помню, как читал где-то, что Хиндли Милнер был ограничением для system-f.Если это так, не могли...