外側のモジュールでextensionでconformされた場合に正しく判定することできないかも？