Здравствуйте, deniok, Вы писали:

D>Активное использование point-free плюс конструкции
D>

D>-- для f :: a -> b
D>(f .) :: (c -> a) -> c -> b
D>(. f) :: (b -> c) -> a -> c
D>

Для меня эти конструкции имеют довольно ясный интуитивный смысл:

(.f).g это добавление преобразования f над вторым аргументом перед передачей его в функцию g
(f.).g это добавление преобразования f над результатом функции g с двумя аргументами