Is V? what we need ?

[Brian Goetz]

> we need V?
> - to represent the L variation of a Q type.
> - to interact with generics that are not reified.

These are the proximate causes, but I think this undersells it.  

> V? does that but does far more, V? is a super type of V which is dangerous, because people will use it as parameter of function instead of V because it's a super type and works with null.
> Here we are back to a world were every value types may be null. 

Whoa, I think you just skipped a few dozen steps … 

Perhaps you could clarify this with some examples of “I worry people will write __ instead of ___, and then __ will happen.”  

> I believe that the issue is that V? should work as a box and currently V? is to powerful/useful as a box so people will start to use it as a true type.

Again, lots to unpack here:

  - What, in your mind, is the difference between a box and an adjunction?
  - What benefits do box types give here?
  - What risks do you envision from “using V? as a true type”?