转换，更新或映射字符串文字以进行类型操作

Question

给出任何接口，例如：

interface P {
  horse: string
  cat: string
}

我可以得到一个字符串文字：

  type PKeys = keyof P

现在，我想生成一个看起来像这样的类型：

interface PMangled {
  horseUpdate: ...
  catUpdate: ...
}

即，我想从转换后的字符串文字（x in PKeys do x + "Update"）构建新接口-但是我该怎么做？

还有其他方法可以用来将类型转换为包含前置/后置属性名称吗？