これって structural subtyping 的な考え方なのでは？