Scala 2ではこういう表現がたまにあった: trait Entity { type Key } type KeyOfEntity[E ···