部分型

subtyping

型と型の間の階層関係