work in progreess
:t let ls = 1 `hcons` 2 `hcons` (hnil )  in ls :: (SizedList (S (S Z)) Int)

will not work