Just (HCons 1 (HCons 'c' HNil))
[HCons 1 (HCons 'c' HNil)]