Trace

by csharpython @csharpython

行列において、トレースは主対角成分の総和です。それを型システムを使って求めたいです。しかし、型で数を足すのは難しいため、代わりに主対角成分のユニオン型を求めてください。例： ```ts type Arr = [ [1,2], [3,4] ] type Test = Trace // expected to be 1 | 4 ```