问涉及函数组合的公共模式(\b -> f (g a) (g b))

EN

F和g的组成，看起来像

f :. g = \a b -> f (g a) (g b)

是我经常在代码中找到的一种模式。它类似于一元函数组合，只有f是二进制的，我希望在将两个参数传递给f之前将g应用于这两个参数。

当我要求lambdabot将其转换为无点形式时，我会得到一个奇怪的咒语。

flip ((.) . f . g) g

在我的代码中不包含，所以我最终只需要显式地写出模式。

是否有一种为这种情况编写组合器的普遍接受的方法？，还是我经常在这种情况下发现自己的奇怪之处？

我现在手头上还没有这个例子，因为我从来没有想过在这里问我什么时候需要它，但是人们可以想象，用它来写欧几里德距离公式，就像这样：

distance = sqrt . (+) :. (^2)