agreed, many language features have trade offs or limited usefulness, but after years in the profession I feel that sum types are something every language should have.