h
T1
T2
T3
hd
Cons
head
Cons
Empty
ListLike
hw
root