nominalなsubtypeかどうかはだいぶ違うなって感覚があります