Don't take this wrong, I do know that this is a major breakage, and would arm the language if applied in any short term manner. Still, acknowledging error that have been made is usefull. BTW, I guess Nullable!T could use unions to handle null on reference types without having a separate pointer.