Maping a type with P in K does not preserve modifiers

Question

I have the following code:

export type Message =
  { type: \'auth\', user: string, password?: string } |
  { type: \'getDat