language design Union Types vs Sum Types David Ellis Jan 3, 2021 Null-tracking, or the difference between union and sum types