This hand-rolled Mutable is meant to strip readonly. What is the type of T?

type Mutable<O> = { -readonly [K in keyof O]: O[K]; }; type T = Mutable<{ readonly a: number; readonly b?: string }>;