class SI_4715 {
  type :+:[X,Y] = Map[X,Y]
  val withType: Int :+: Double = error("")

  trait :-:[X,Y]
  val withTrait: Int :-: Double = error("")
}