型パラはあるけど、中身では具体型として扱えるものではない、ということ

3:14 AM

つまり、<Foo: Protocol>(foo: Foo)においてFooは具体的な型パラだが、fooはProtocol型変数と変わらない状態?