2 ms·Type systems without sums in 2019 is ignoring a lot of history and evidence, new and old.by whateveracct 8y agoType systems without sums in 2019 is ignoring a lot of history and evidence, new and old.