README.Ja - Type Challenges

<h1>Trace </h1><blockquote><p>by csharpython <a href="https://github.com/csharpython" target="_blank">@csharpython</a></p></blockquote><p><a href="https://tsch.js.org/35191/play/ja" target="_blank"></a>    <a href="./README.md" target="_blank"></a> </p>

行列において、トレースは主対角成分の総和です。それを型システムを使って求めたいです。しかし、型で数を足すのは難しいため、代わりに主対角成分のユニオン型を求めてください。

例：

type Arr = [
  [1,2],
  [3,4]
]
type Test = Trace<Arr> // expected to be 1 | 4