転移可能な抽象を優先