使用Slick Table的Scala类型推断

case class User(id:Int,name:String)
case class Address(id:Int,name:String)
...

Slick(2.1.0版)表映射：

class Users(_tableTag: Tag) extends Table[User](_tableTag,"users") with WithId[Users,User] {`
  val id: Column[Int] = column[Int]("id",O.AutoInc,O.PrimaryKey)
  ...
}
trait WithId[T,R] {
  this: Table[R] =>
  def id: Column[Int]
}

混合特征WithId我想为列id为不同的表实现通用DAO方法：Column [Int](我希望方法findById能够同时处理用户和地址表映射)

trait GenericSlickDAO[T <: WithId[T,R],R] {
  def db: Database

  def findById(id: Int)(implicit stk: SlickTableQuery[T]): Option[R] = db.withSession { implicit session =>
    stk.tableQuery.filter(_.id === id).list.headOption
  }

trait SlickTableQuery[T] {
  def tableQuery: TableQuery[T]
}

object SlickTableQuery {
  implicit val usersQ = new SlickTableQuery[Users] {
    val tableQuery: Table Query[Users] = Users
  }
}

问题是findById无法编译：

Error:(13,45) type mismatch;
found : Option[T#TableElementType] required: Option[R]
stk.tableQuery.filter(_.id === id).list.headOption

我认为T的类型为WithId [T,同时类型为Table [R]. Slick实现Table类型,如果X = Table [Y]则X#TableElementType = Y.

所以在我的情况下,T#TableElementType = R和Option [T#TableElementType]应该被推断为Option [R],但事实并非如此.我哪里错了？