full_item_size i = case i of
    Unit a -> 1
    Packed t -> 1 + full_size t
full_item_size i = case i of
    Unit a -> 1
    Packed t -> 1 + full_size t
full_item_size i = case i of
    Unit a -> 1
    Packed t -> 1 + full_size t