TIP (HCons (MyVal 20) (HCons 1 (HCons True HNil)))
TIP (HCons (MyVal 20) (HCons 2 (HCons True HNil)))
TIP (HCons (MyVal 20) (HCons 1 (HCons False HNil)))
TIP (HCons (MyVal 20) (HCons 21 (HCons True HNil)))
TIP (HCons (MyVal 21) (HCons 1 (HCons True HNil)))
TIP (HCons (MyVal 21) (HCons 1 (HCons True HNil)))