Type alias Pick<T, K>

Pick<T, K>: T extends unknown
? Pick._<T, keyof T & K>
: never

Pick properties K from T. Works with union.

Original type by Titian Cernicova-Dragomir