Yeah. I'm not claiming they didn't back themselves into a corner here. There's no theoretical reason not to have it, the reason is because of a random intersec

Yeah. I'm not claiming they didn't back themselves into a corner here. There's no theoretical reason not to have it, the reason is because of a random intersection of other design decisions... unless you're saying they made those choices fully expecting to have these restrictions on generics later?