How are you going to build sum types in a way where you can interact with assembly or machine code? The CPU doesn't know about that stuff