Yes, it could be a `Type`. But if so, `tparam` will become `TypeAArray`, and it can never match to 'this' `TypeSArray`.