Output
HCons
Head
Tail
operand
Head
Tail