(Case of L; nil 
0 ; h.t 1+Y((
l,L. Case of L; nil 0 ; h.t 1+l(t)),t)) 
(L.Case of L; nil 0 ; h.t 1+Y((l,L. Case of L; nil 0 ; h.t 1+l(t)),t)) (T List)
| 1 | 2. L: T List (Case of L; nil 0 ; h.t 1+Y((l,L. Case of L; nil 0 ; h.t 1+l(t)),t)) |
About:
 |  |  |
 |  |  |  |  |  |  |
 |