tの型は P ではなく <T: P> だから、 open するコードが吐けなそう。

7:52 AM

一回目の呼び出しと同じ関数なので。

7:52 AM

P である Cat や、 P である Dog と同様に、 P である P としか見えない