> I'm not sure why

Me neither.

> you are entirely correct that sealed types can fully model sum types

I want to be wrong, in that case I learn something new.