haskell - haskell中有 `m a -> (a -> m b) -> m a`函数类型吗？

Question

所以>>= :: m a -> (a -> m b) -> m b和>> :: m a -> m b -> m b .

而<* :: f a -> f b -> f a .

但我想要一些能m a -> (a -> m b) -> m a的东西，即实际上丢弃计算结果并保留原始结果。在我的例子中，这个计算结果只是一个返回 () 的 IO 操作。所以我只需要传递原始值即可。

有这样的功能吗？如果没有，我该如何撰写呢？还没有弄清楚。谢谢!

Answer 1

discardResult mx mf = do x <- mx
                         mf x
                         return x

虽然jozefg的解决方案更简单。