Mapping Modifiers

Adding and removing readonly and optional modifiers in mapped types.

What does the modifier `-?` do in `type R<T> = { [K in keyof T]-?: T[K] }`?