たとえば構造的部分型は A & B みたいな状態を扱えるし、後で知らなかった C にも準拠できたりします。