[PRL] IOP and disjoint unions

[William D Clinger]

Richard asked:
> How does this differ from, for example, Java's instanceof and checked
> cast operations?

Java's instanceof and checked cast operations expose the
class/interface inheritance hierarchy, reducing representation
independence.

The code I wrote is structure-shy: it exposes none of that
hierarchy.

Will