Опишу ситуацию. Есть структура Coord3D { x :: Double, y ::

Question

Опишу ситуацию. Есть структура Coord3D { x :: Double, y ::

Double, z :: Double }
Когда я решил реализовать функцию длины между двумя точками, у меня получился немного ужасный код, потому что постоянно приходилось писать конструкции типа x coord2 - x coord1, и я решил ввести такую функцию
delta f a b = f a - f b
и код функции сразу стал таким:
distance crd1 crd2 = sqrt $ dx ^ 2 + dy ^ 2 + dz ^ 2 where
dx = delta x crd1 crd2
dy = delta y crd1 crd2
dz = delta z crd1 crd2
Потом, когда я продолжил писать код, я вдруг понял, что можно ещё больше абстрагироваться, и использовать и другие операции, не только (-), и добавил такой код:
foo f1 f2 a b = f1 (f2 a) (f2 b)
delta = foo (-)
Вопрос: Есть ли уже такая foo, и как называется такая идея в целом?