AがEquatable自動実装できるかどうかを調べる中で、aのAがEquatableか調べる必要があって〜、、、って感じで無限に続きそうですけど、これどうやって通してるんですかね (edited)