Что означает эта ошибка? «TypeError: параметры для универсальных типов должны быть типами»

Question

Я не уверен, что означает эта ошибка:

TypeError: Parameters to generic types must be types. Got slice(typing.List, <class 'int'>, None).

Я пытаюсь подтвердить, есть ли в матрице заданная ячейка / индекс. (В матрице [[A, B, C], [D, E, F]] существует ячейка / индекс [0, 2]? Да на C).

Мой входной параметр - это список, определяющий индекс ячейки. Я хочу взять ячейку / список и изменить его, чтобы проверить, существует ли он. Каждый раз, когда я пытаюсь дотронуться до списка параметров, выдается ошибка.

def in_matrix(matr: List[List:int], cell: List[int]) -> bool:
    b = cell.pop()
    a = cell.pop()
    print(a)
    print(b)
    for y in range(len(matr)):
        for x in range(len(matr[y])):
            if matr[a][b] == True:
                return True
            else:
                return False

Answer 1

Этот тип matr: List[List:int] должен быть matr: List[List[int]].

Это означает, что matr представляет собой список целочисленных списков, например:

matr = [[1, 2, 3],
        [4, 5, 6],
        [7, 8, 9]]