I disagree with your statement that
> the type myObject compiles Sure, if it's not instantiated, code compiles, but > try to use it and you get one error or another. If anything, that's the > design decision, that types don't get fully checked until they're > instantiated.
