共存的サブタイプってなんでスーパータイプに二つの区分が要るのか分からない。一つの区分の第三の値で区分できないもんなの