Source

Prelude

1. let all p = foldr (\ x y -> p x && y) True in all not [True, False]
2. foldr (\ x y -> not x && y) True [True, False]
3. foldr (\ x y -> not x && y) True (True : [False])
4. (\ x y -> not x && y) True (foldr (\ x y -> not x && y) True [False])
5. not True && foldr (\ x y -> not x && y) True [False]
6. False && foldr (\ x y -> not x && y) True [False]
7. False