Output
HCons
HNil
Head
Tail
operand
Head
Tail