Input
HCons
Head
Tail