Source

Prelude

1. foldr (\ x y -> if (> 2) x then x : y else y) [] [2, 3]
2. foldr (\ x y -> if (> 2) x then x : y else y) [] (2 : [3])
3. (\ x y -> if (> 2) x then x : y else y) 2 (foldr (\ x y -> if (> 2) x then x : y else y) [] [3])
4. if (> 2) 2 then 2 : foldr (\ x y -> if (> 2) x then x : y else y) [] [3] else foldr (\ x y -> if (> 2) x then x : y else y) [] [3]
5. if 2 > 2 then 2 : foldr (\ x y -> if (> 2) x then x : y else y) [] [3] else foldr (\ x y -> if (> 2) x then x : y else y) [] [3]
6. if False then 2 : foldr (\ x y -> if (> 2) x then x : y else y) [] [3] else foldr (\ x y -> if (> 2) x then x : y else y) [] [3]
7. foldr (\ x y -> if (> 2) x then x : y else y) [] [3]
8. foldr (\ x y -> if (> 2) x then x : y else y) [] (3 : [])
9. (\ x y -> if (> 2) x then x : y else y) 3 (foldr (\ x y -> if (> 2) x then x : y else y) [] [])
10. if (> 2) 3 then 3 : foldr (\ x y -> if (> 2) x then x : y else y) [] [] else foldr (\ x y -> if (> 2) x then x : y else y) [] []
11. if 3 > 2 then 3 : foldr (\ x y -> if (> 2) x then x : y else y) [] [] else foldr (\ x y -> if (> 2) x then x : y else y) [] []
12. if True then 3 : foldr (\ x y -> if (> 2) x then x : y else y) [] [] else foldr (\ x y -> if (> 2) x then x : y else y) [] []
13. 3 : foldr (\ x y -> if (> 2) x then x : y else y) [] []
14. 3 : []