Yes I only meant in the sense of null adding a "maybe".

    x = fetch_an_int  // x is definitely an int
    y = fetch_an_obj  // y is *maybe* a T.