Input
HCons
HNil
Head
Tail