Function 这个功能可以实现吗?

Function 这个功能可以实现吗?,function,haskell,Function,Haskell,该功能是否有任何实现 foo :: (Monad m, Monad n) => m a -> n a -> (a -> a -> a) -> m (n a) foo x y f = ... 是的,可以给它一个更通用的类型 foo :: (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c) foo f fx gy = fmap (\x -> f

该功能是否有任何实现

foo :: (Monad m, Monad n) => m a -> n a -> (a -> a -> a) -> m (n a)
foo x y f = ...

是的,可以给它一个更通用的类型

foo :: (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c)
foo f fx gy = fmap (\x -> fmap (f x) gy) fx

除了简单的
\\una\uu->return na
?是的,我正在寻找一个以某种方式应用
f
的函数