@@ -21,16 +21,16 @@ concatMap : (Foldable t, Monoid m) => (a -> m) -> t a -> m
2121concatMap f = foldr ((<+>) . f) neutral
2222
2323and : Foldable t => t (Lazy Bool) -> Bool
24−and = foldr (flip (&&)) True
24+and = foldl (&&) True
2525
2626or : Foldable t => t (Lazy Bool) -> Bool
27−or = foldr (flip (||)) False
27+or = foldl (||) False
2828
2929any : Foldable t => (a -> Bool) -> t a -> Bool
30−any p = foldr (flip (||) . Delay . p) False
30+any p = foldl (\x => \y => x || p y) False
3131
3232all : Foldable t => (a -> Bool) -> t a -> Bool
33−all p = foldr (flip (&&) . Delay . p) True
33+all p = foldl (\x => \y => x && p y) True
3434
3535sum : (Foldable t, Num a) => t a -> a
3636sum = foldr (+) 0