So I want to have some `SumType`s as some of the alternative types in another `SumType`.
How how efficient this is, including space efficient?
So I want to have some `SumType`s as some of the alternative types in another `SumType`.
How how efficient this is, including space efficient?