Your code isn't really statically typed if every object might support its declared methods, or might instead be an unusable time-bomb. Much better that an inval

Your code isn't really statically typed if every object might support its declared methods, or might instead be an unusable time-bomb. Much better that an invalid object never exists and code that needs that object isn't reachable.