이 기능을 구현할 수 있습니까?

Question

이 기능에 대한 구현이 있습니까?

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

Answer 1

예,보다 일반적인 유형을 지정할 수 있습니다.

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