Comment by imtringued

A naive sum type is just a tag plus a payload. There is no problem here. If you have enums you could have had sum types.

The historical argument and appeal to assembly is illogical here. The only real argument is that niche value optimization is too complex or too clever for the time so even if sum types were in C, nullable pointers would still exist either way.