If we had that, that would be a more permissive type system, more things would type check and yet, just like when we had fewer things type check and type inference got harder, now that more things type check, type inference also gets harder. 