Output
HCons HNil Head Tail
operand
Head Tail