In languages with subtyping, the compatibility relation is more complex.
派生型のある言語では互換性の関係はより複雑なものとなる。