Почитал про point-free style в haskell wiki, осталось впечатление чёрной магии. Хочу изучить эту тему систематически. Меня интересует, существует ли развитая теория, на которой всё это основано ? Может быть есть алгоритм, позволяющий переходить к point-free форме, или определять что её не существует ? Поиск по форуму навёл меня на комбинаторную логику, но ведь тот же лямбда-бот не раскладывает выражения на примитивы, а использует довольно высокоуровневые функции как map, join и др. Куда копать дальше ?