TSで使っててしんどいのは構造的な型で区別つけづらいのと、Conditional typeを含むジェネリックな式で複雑すぎて手がつけられなくなる、という点なので、Swiftなら上手に扱えるのかもという気持ちになってきた