Just wondering: why not allow ClassCastException here?