Scala 解构单一类型到其组成部分的统一

我正在使用单例类型，根据Miles Sabin的一段代码片段，我有以下内容：

scala> trait Param[K] { self =>
     |   type V
     | }
defined trait Param

scala> def param[V0](key: String): Param[key.type] { type V = V0 } = new    Param[key.type] { type V = V0 }
param: [V0](key: String)Param[key.type]{type V = V0}


scala>   val r = param[Int]("q")
r: Param[String("q")]{type V = Int} = $anon$1@770c789a

scala>   val s = param[String]("s")
s: Param[String("s")]{type V = String} = $anon$1@9e77ebd

到目前为止还不错，但现在我有一个表达：

scala>   val ff = if (true) {
    |     r
    |   } else {
    |     s
    |   }
ff: Param[_ >: String("q") with String("s") <: String]{type V >: Int with String} = $anon$1@770c789a

我在寻找一些纯粹的类型级别的东西。有没有可能有一种机制来解构统一类型

Param[K0 with K1] { type V: V0 with V1 } -> (Param[K0] { type V: V0}, Param[K1] { type V: V1})