I don't think the goal posts were moved. The comment you replied to referred to the "use"--not the existence--of sum types.