(
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)
Y(l,L. Case of L; nil 0 ; h.t 1+l(t)) (T List)
| 1 | (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) |
About:
 |  |
 |  |  |  |  |  |  |
 |