Input
HCons HNil Head Tail