A big weakness in Objective-C’s weak typing