series:FreeT、Pipes.Producer 等的前奏，带有 Data.List 之后的简单 buildfoldr 优...

系列 这个库定义了一个简单的 newtype newtype Folding f m a = Folding {getFolding:: forall r. (f r -> r) -> (m r -> r) -> a -> r} 它包装并概括了 GHC 用于优化Data.List的未包装类型 forall r . (a -> r -> r) -> r -> r 这相当于 Folding ((,) a) Identity () 这个库定义了一个关于Folding的函数的Prelude ，特别是Folding (Of a) mr并提出了一些字节串和其他类似的东西。 希望是使用这种类型对ListT和Producer排序的许多类型进行相当直接的优化，使用几乎正确的等价物 Producer a m r ~ Folding ((,) a) m r FreeT f m r ~ F