Scala 类型化 Traits 和类型匹配

Question

我目前正在 scala / lift 中开发电子商务应用程序，无法弄清楚如何在我的类型层次结构上正确匹配。我当前的实现是：

abstract trait BaseProduct[T <: BaseProduct[T]] extends MongoRecord[T] with ObjectIdPk[T] {
  self:T =>
  def whatever
  ...
}

abstract trait SimpleType[T <: BaseProduct[T]] extends BaseProduct[T] {
  self:T =>
  val producttype = "product/simple"
}

abstract trait ConfigurableType[T <: BaseProduct[T],E <: SimpleType[E]] extends BaseProduct[T] {
  self: T =>
  val producttype = "product/configurable"
}

class ClothingProduct extends SimpleType[ClothingProduct] {
  def meta = ClothingProduct
}

class ConfigurableClothing extends ConfigurableType[ConfigurableClothing,ClothingProduct] {
  val childmeta = ClothingProduct
  val configurableFields = List(color,size)
  def meta = ConfigurableClothing
}

有了这个，我想实现一个购物车，它应该只接受 SimpleType 类型（和 BaseProduct）的产品。它还应该实现一个函数，该函数采用任何类型的 BaseProduct 和模式匹配子句，该子句应该对简单类型或可配置类型做出反应。

我的第一个因类型错误而让我发疯的实现是：

object Cart extends SessionVar[List[CartItem]](List()) {
  def addProduct(product:SimpleType[_],quantity:Int = 1) = {
    this.get.partition(_.product.id.is == product.id.is) match {
      case (Nil,xs) => this.set(CartItem(product,quantity) :: xs)
      case (x,xs) => this.set(CartItem(product,x.head.quantity + quantity) :: xs)
    }
  }
}

case class CartItem(product:SimpleType[_], quantity:Int)  {
  def lineTotal:Double = quantity * product.price.is
}

使用以下函数添加购物车项目：

def addBasketLink(prod:BaseProduct[_]) = {
prod match {
  case x:SimpleType[_] => Cart.addProduct(x)
  case _ => S.notice("Sorry not possible to add to Basket")
}

我的主要问题是 SimpleType 提供的类型的“下划线”定义会导致类型违规错误。我目前无法弄清楚如何正确地进行所需的打字。如果有人能告诉我我的错误在哪里，并向我正确解释我如何正确处理类型化特征，那就太好了。

谢谢