I understand that, but I would expect the bounds to be invariant (but that's mainly just how I feel). It seems like if we want to accept any "subtype" bound we're going to get very surprised down the road when things look like they work but shouldn't.