Thanks, Brian, for many useful suggestions about the diagram. I have updated it in place. Its message should be clearer now. On Nov 21, 2021, at 9:05 PM, John Rose <john.r.rose at oracle.com<mailto:john.r.rose at oracle.com>> wrote: http://cr.openjdk.java.net/~jrose/values/type-kinds-venn.pdf