type Prettify<T> = T extends infer Tb ? { [K in keyof Tb]: Tb[K] } : never;