ですね。初めて見たときからジェネリクスに似てる気がするもののそれをうまく言語化できずにいたんですが、↑のような対として考えてしっくり来ました。

3:55 PM

利用時に名前を付けるうんぬんは対として考えたときの可能性の話で、 some Foo でも（ some のニュアンスで some Foo 同士が異なる型として解釈できるので）十分だとは思います。