Source

Prelude

1. foldr (\ _ n -> 1 + n) 0 ['a', 'b', 'c']
2. foldr (\ _ n -> 1 + n) 0 ('a' : ['b', 'c'])
3. (\ _ n -> 1 + n) 'a' (foldr (\ _ n -> 1 + n) 0 ['b', 'c'])
4. 1 + foldr (\ _ n -> 1 + n) 0 ['b', 'c']
5. 1 + foldr (\ _ n -> 1 + n) 0 ('b' : ['c'])
6. 1 + (\ _ n -> 1 + n) 'b' (foldr (\ _ n -> 1 + n) 0 ['c'])
7. 1 + (1 + foldr (\ _ n -> 1 + n) 0 ['c'])
8. 1 + (1 + foldr (\ _ n -> 1 + n) 0 ('c' : []))
9. 1 + (1 + (\ _ n -> 1 + n) 'c' (foldr (\ _ n -> 1 + n) 0 []))
10. 1 + (1 + (1 + foldr (\ _ n -> 1 + n) 0 []))
11. 1 + (1 + (1 + 0))
12. 1 + (1 + 1)
13. 1 + 2
14. 3