Type alias Prettify<T>

Prettify<T>: T extends infer U
    ? {
        [K in keyof U]: U[K]
    }
    : never

Prettify type.

type s = Prettify<{a: 1} & {b: 2}>        // {a: 1, b: 2}