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.