On Saturday, 3 December 2022 at 22:55:47 UTC, rikki cattermole wrote: > Its worth remembering that sum types and tuples are both > foundational in type theory. Getting these into the language > allow for the language to be a lot more foundationally stable > in its design. Plenty of safe languages don't have sum types and sky doesn't fall.