Source

Prelude

1. foldr (\ x l -> case l of [] -> (x : []) _ -> x : ',' : l) [] ['a', 'b']
2. foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ('a' : ['b'])
3. (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) 'a' (foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b'])
4. case foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b'] of [] -> 'a' : [] _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
5. case foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ('b' : []) of [] -> 'a' : [] _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
6. case (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) 'b' (foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] []) of [] -> 'a' : [] _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
7. case case foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] [] of [] -> 'b' : [] _ -> 'b' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] [] of [] -> 'a' : [] _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
8. case case [] of [] -> 'b' : [] _ -> 'b' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] [] of [] -> 'a' : [] _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
9. case 'b' : [] of [] -> 'a' : [] _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
10. case 'b' : [] of _ -> 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
11. 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ['b']
12. 'a' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] ('b' : [])
13. 'a' : ',' : (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) 'b' (foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] [])
14. 'a' : ',' : case foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] [] of [] -> 'b' : [] _ -> 'b' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] []
15. 'a' : ',' : case [] of [] -> 'b' : [] _ -> 'b' : ',' : foldr (\ x l -> case l of [] -> x : [] _ -> x : ',' : l) [] []
16. 'a' : ',' : 'b' : []