Open Bronek opened 3 months ago
Name sum is potentially confusing; let's switch to something that's more likely to indicate the type purpose. A name copack was suggested, and I think it is fitting since it is a co-product of types, orthogonal to pack.
sum
copack
pack
Name
sumis potentially confusing; let's switch to something that's more likely to indicate the type purpose. A namecopackwas suggested, and I think it is fitting since it is a co-product of types, orthogonal topack.