エラー対処の考え方について

Question

理解度

色々な個別サンプルを見てなんとか理解を深めようとしているレベルです

疑問点

JavaScriptに「型安全の思想」を取り入れたのがTypeScriptということらしいのですが
実際に「お手本」というべきサンプルでもイジる前からエラーが出ていることも多く
自分の現状の対処方法では、とりあえずの「つじつまあわせ」的にやってる感が否めず
具体的な例で、自分のやり方などの問題点をおうかがいしたいです

さわってみたサンプルコード（出所失念）

オブジェクトにゲッタをセットする関数のための型定義の例

type Proxy<T> = {
  get(): T
}

type Proxify<T> = { [P in keyof T]: Proxy<T[P]> }

function proxify<T>(o: T): Proxify<T> {
  var proxy = new Proxy(o, {
    get: function(o: T, prop: string, receiver) {
      var rv = o[prop] + ': prop in proxy'
      return rv
    },
  })
  return proxy
}

let props = {
  name: 'Tarou',
  age: 23,
  gender: 'male',
}
let proxyProps = proxify(props)
console.log(proxyProps.name)

型 'T' の引数を型 'object' のパラメーターに割り当てることはできません。ts(2345)

確かにProxyの型を確認すると以下のようになっておりエラーの主張ももっともだと思われます

interface ProxyConstructor {
    revocable<T extends object>(target: T, handler: ProxyHandler<T>): { proxy: T; revoke: () => void; };
    new <T extends object>(target: T, handler: ProxyHandler<T>): T;
}
declare var Proxy: ProxyConstructor;

##やってみたこと
この関数内で使っているProxyは外せないので（外せないとして）、それに合わせるために
引数 o の型をProxyの定義に合わせてみる。すると返り値のproxyの型もそれになるわけで
現時点のproxifyの返り値の型と一致しなくなる。そこもObjectとかに変えるとなると
proxify実行後の左辺のproxyPropsはProxify<T>とは全く別もの（別型）であり、
そこにはnameプロパティーがないという新たなエラーも生み出されハチャメチャ状態に陥る

type Proxy<T> = {
  get(): T
}

type Proxify<T extends object> = { [P in keyof T]: Proxy<T[P]> }

function proxify<T extends object>(o: T): Proxify<T extends object> {
  var proxy = new Proxy(o, {
    get: function(o: T, prop: string, receiver) {
      var rv = o[prop] + ': prop in proxy'
      return rv
    },
  })
  return proxy    // [Error] 返り値の型が不整合
}
let props = {
  name: 'Mucha',
  age: 23,
  gender: 'male',
}
let proxyProps = proxify(props)
console.log(proxyProps.name) 

##おうかがいしたいこと
この場合、どう修正してエラーを無くすべきでしょうか・
・・・対処療法的につじつまをあわせるようなやり方ではエラーが消えない上に型安全という思想も無視することになりTypeScriptである必要すらなくなってしまうのでやっていて虚しくなります。正しい考え方や手法をもっと積み上げないとと思っています

Answer 1

最初の型引数を詳細に書けばエラーでなくなりました
（当然といえば当然でした）

// function proxify<T>(o: T): Proxify<T> { …
function proxify<T extends object>(o: T): Proxify<T> { …