Что делает функция флип?

Функция flip меняет порядок аргументов функции с двумя аргументами. Рассмотрим простую функцию subtract:

subtract :: Int -> Int -> Int
subtract a b = a - b

subtract 4 3
-- 4 - 3 = 1

Если flip вызывается в функции subtract, она меняет число, из которого вычитается:

(flip subtract) 4 3
-- 3 - 4 = -1

Он также работает с функциями с разными типами аргументов:

showIntAndString :: Int -> String -> String
showIntAndString int string = (show int) <> string

showIntAndString 4 "asdf"
-- "4asdf"

(flip showIntAndString) "asdf" 4
-- "4asdf"

Если это имеет для вас больше смысла, попробуйте взглянуть на flip как на функцию, которая принимает функцию с двумя аргументами в качестве аргумента и в результате возвращает другую функцию с двумя аргументами:

flip :: forall a b c.
    (a -> b -> c) -- takes a function
    -> (b -> a -> c) -- returns a function with flipped arguments

Один из вариантов использования flip — это когда вы хотите частично применить функцию, но аргумент, который вы хотите частично применить, стоит на втором месте. Затем вы можете flip использовать исходную функцию и частично применить полученную функцию.