HCons

CanonicalRepr

HNil

CanonicalRepr

h

PCons

head

HCons