A : Equatable だから [A] : Equatable で case a([A]) も Equatable で、すべての case が Equatable なので A : Equatable を満たすので自動生成、ですかね？