说我有功能
g :: a -> b, h :: a -> c
和
f :: b -> c -> d.
是否可以编写该功能
f' :: a -> a -> d
由...给出
f' x y = f (g x) (h y)
点自由风格？
可以写这个功能
f' a -> d, f' x = f (g x) (h x)
通过设置点自由风格
f' = (f <$> g) <*> h
但我无法弄清楚如何做更一般的情况.