これって間違ってるんですかね？ハッシュはa == b -> a.hashValue == b.hashValueのはずですが、ここでは型が一致していないので、xとy,zを並べて良いものか怪しい気がします。 s == tとs==uは暗黙的にOptional`に包まれるのもありますし。