I like `all = foldr and True` as others have pointed out. But I think I have a more convincing example of why it can't be the other way around: all (>5) [

I like `all = foldr and True` as others have pointed out. But I think I have a more convincing example of why it can't be the other way around: all (>5) [6,7,8] all (>5) ([6,7,8] ++ []) (all (>5) [6,7,8]) && (all (>5) []) (True && False) False