@@ -10,9 +10,8 @@ import Prelude.Algebra
1010
1111class Foldable (t : Type -> Type) where
1212 foldr : (elt -> acc -> acc) -> acc -> t elt -> acc
13−
14−foldl : Foldable t => (acc -> elt -> acc) -> acc -> t elt -> acc
15−foldl f z t = foldr (flip (.) . flip f) id t z
13+ foldl : Foldable t => (acc -> elt -> acc) -> acc -> t elt -> acc
14+ foldl f z t = foldr (flip (.) . flip f) id t z
1615
1716||| Combine each element of a structure into a monoid
1817concat : (Foldable t, Monoid a) => t a -> a