最近scalaz引起了我的注意。它看起来很有趣，但我还没有找到任何关于图书馆的好的介绍。看起来scalaz融合了很多haskell和数学的思想。我发现的大多数文章都假设您已经熟悉这些概念。我正在寻找的

如果我有一个EnumeratorT和一个对应的IterateeT，我可以一起运行它们:如果枚举对象的单子比被迭代对象的单子“大”，我可以使用up或更一般的Hoist来“提升”被迭代对象以匹配:但是，当