部分型
subtyping
型と型の間の階層関係
公称的部分型
構造的部分型