We've talked about this before! You know it has sum types, just not the variation you want.
Perhaps in the future we'll simply have both and have no reason to debate ;-)