相关疑难解决方法(0)

对于monad M,是否有可能A => M[B]变成M[A => B]？

我试过跟踪这些类型无济于事,这让我认为这是不可能的,但我想我还是会问.此外,搜索Hoogle a -> m b -> m (a -> b)没有返回任何东西,所以我不会抱太多运气.