Type narrowing of “one level deep” discriminated union in Typescript

Question

I\'m not able to get the following to typecheck:

type Apple = {
  variety: {type: \'fuji\'} | {type: \'gala\'}
}

type FujiApple = {
  [P in keyof Apple]: P exten