Now things like `x = Thing[int]()` are valid, if `Thing` is a generic class (see #2302). We should document it.