Playing with Scala cakes (?)

caking.scala

trait Cake
/*
trait Slice[T <: Cake]  {
  val cake: T
  import cake._

  //... implement slice using methods from cake ...
}

trait CakeSlice extends Cake with Slice[Cake with this.type] {
  val cake: this.type = this //this is not accepted???
}
*/
trait Slice  {
  type T <: Cake
  val cake: T
  import cake._

  //... implement slice using methods from cake ...
}

trait CakeSlice extends Cake with Slice {
  type T = this.type
  val cake: this.type = this
}