公称的部分型
nominal subtyping
継承による親子関係で部分型