Haskell中“序列”的Data.Traversable逆序

Question

我需要一个Monad m => m [a] -> [m a]类型的函数，它和sequence一样工作，但是相反。

我尝试过在Hoogle上搜索任何具有这种类型签名的函数，但是似乎没有任何函数。一般情况下是不可能的？首先，我应该避免这种类型的建筑吗？

Answer 1

不可能有这样的函数，因为不是每个单子都承认一种“退出函数”m a -> a。IO就是这样的例子:如果您有一个IO a，您就不能删除IO构造函数(除非通过可能不想使用的unsafePerformIO )。

单模函数

return :: a -> m a
(>>=) :: m a -> (a -> m b) -> m b

每个函数在最右边箭头后面都有一个m a，因此如果没有函数的更多约束，m构造函数就不能从列表[a]周围删除。