Source

Prelude

1. foldr (\ x f' z -> f' (z ++ x)) id ["1", "2", "3"] ""
2. foldr (\ x f' z -> f' (z ++ x)) id ("1" : ["2", "3"]) ""
3. (\ x f' z -> f' (z ++ x)) "1" (foldr (\ x f' z -> f' (z ++ x)) id ["2", "3"]) ""
4. foldr (\ x f' z -> f' (z ++ x)) id ["2", "3"] ("" ++ "1")
5. foldr (\ x f' z -> f' (z ++ x)) id ("2" : ["3"]) ("" ++ "1")
6. (\ x f' z -> f' (z ++ x)) "2" (foldr (\ x f' z -> f' (z ++ x)) id ["3"]) ("" ++ "1")
7. foldr (\ x f' z -> f' (z ++ x)) id ["3"] (("" ++ "1") ++ "2")
8. foldr (\ x f' z -> f' (z ++ x)) id ("3" : []) (("" ++ "1") ++ "2")
9. (\ x f' z -> f' (z ++ x)) "3" (foldr (\ x f' z -> f' (z ++ x)) id []) (("" ++ "1") ++ "2")
10. foldr (\ x f' z -> f' (z ++ x)) id [] ((("" ++ "1") ++ "2") ++ "3")
11. id ((("" ++ "1") ++ "2") ++ "3")
12. (("" ++ "1") ++ "2") ++ "3"