Type parameter list — то что в квадратных скобках: [T any, U comparable, V fmt.Stringer]. Каждый элемент — имя параметра и его constraint. Можно группировать: [T, U any] — оба с constraint any. Список определяет "переменные типов" для функции или структуры. Внутри тела T, U, V используются как обычные типы, но с ограничениями constraint. Компилятор проверяет, что ты не делаешь с T ничего, что constraint не разрешает.