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