このSILのシグネチャのforはスペシャライズでも使う記号だろうか

5:02 AM

最初に貼ったクラッシュするケースは

5:03 AM

(T0, T1) な異なる型のペアを、 (T, T) な同一の型のペアとして渡すコードを書くと

5:03 AM

落ちるってやつなので

5:05 AM

複数のパラメータが並んでる場合を考慮できてないような気もするけど、 -> (some P, some P) とかは動くので謎