Nope, T is a fixed generic type. It doesn't mean anything and it's definitely not heterogeneous. It's not going to work like that, I tried it.
It also doesn't need to be a structure. "# add any possible heterogeneous values you defined" \- we're already over variants - we're trying to make the heterogeneous cells work because they're the only typesafe, comfortable and boilerplate-free(for the user, at least) way. I don't need to serialize custom objects - I need to "pack" data in a standard protocol. Also, please, stop mentioning variants and dynamic data types because they're not working. I need strongly typed features and not ad-hoc polymorphism.
