I'm doubling down on my "both worlds" point, whether you state it as (scala = FP and OO) or (scala = FP or OO). My choice to be null-free does not survive my c

I'm doubling down on my "both worlds" point, whether you state it as (scala = FP and OO) or (scala = FP or OO). My choice to be null-free does not survive my coworkers' choice to use null. Likewise with mutability, purity, inheritance etc. The feature that I want is to look at (n : T) and understand that T is T, not (T | ? extends T) and that n is n, not (n | null), or n now and n' later.