"Conforms To" ってサブタイプでもスーパータイプの準拠が全部列挙されませんでしたっけ？