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