Re: Instance payload Shiro Kawai 04 Oct 2016 23:54 UTC
> 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.