// this is equivalent

trait MapThing[type Key, type Value]
trait StringMapThing[Value] extends MapThing[String, Value]
class IntMapThing extends StringMapThing[Int]

// to this

trait MapThing {
  type Key
  type Value
}
trait StringMapThing[override type Value] extends MapThing
class IntMapThing extends StringMapThing[Int]