When cutting code I’ve often wanted covariant return types. There are lots of API’s in the framework which could get cleaner with this feature as well. Read Cyrus’ blog entry and then go and vote at LadyBug.