是否可以组合序列并加入在同一个 monad 中具有动作的 monadically 创建的 ConduitT？
Is it possible to combine sequence and join for monadically created ConduitTs that have actions in the same monad?
换句话说，是否有可能以某种方式将 sequence 和 join 之类的东西组合起来以获得一个功能：
m (ConduitT a b m c) -> ConduitT a b m c
一个直接的问题似乎是 ConduitT doesn't have a Foldable instance, though there are fold functions available。不过无论如何，这可能是找错了树。
ConduitT 是一个 monad 转换器：它实现了 lift :: m x -> ConduitT a b m x.
join . lift :: m (ConduitT a b m c) -> ConduitT a b m c
换句话说，是否有可能以某种方式将 sequence 和 join 之类的东西组合起来以获得一个功能：
m (ConduitT a b m c) -> ConduitT a b m c
一个直接的问题似乎是 ConduitT doesn't have a Foldable instance, though there are fold functions available。不过无论如何，这可能是找错了树。
ConduitT 是一个 monad 转换器：它实现了 lift :: m x -> ConduitT a b m x.
join . lift :: m (ConduitT a b m c) -> ConduitT a b m c