extension A where E: Equatable の中に生やすとか？