[sample]TypeScript の型推論を読み解く

推論器が辿る経路を、コードを読みながら手で追ってみる。期待していたほどブラックボックスではない。