ただ、たとえば Swift の型を対象としても、型の同一性が求められるだけで、型のインスタンスの同一性は必要ないので、それくらいなら色々なものに適用できるような気がします。

7:50 AM

Foo.Type は Equatable じゃないといけないけど、 Foo は Equatable じゃなくていいみたいな。