DEFINITION CTail()
TYPE =
K
→
T
→
C
→
C
BODY =
Show proof