Если продолжить аналогию с дублированием кода, использование Pick является эквивалентом вызова функции. Pick берет два типа — T и K и возвращает третий. Во многом как и функция, которая берет два значения и возвращает третье