> a record belonging to a supertype
> exposes its instance payload not only through its own accessor, but
> also through the accessors of any subtypes.

Isn't it reversed? Supertype's accessor can retrieve the instance's payload
of its subtype, but the other way around doesn't seem to work.