I want line 15 to typecheck

please_typecheck.scala

package demo

trait Bar
abstract class Foo[T] {}
object Foo {
  implicit def FooFromBar[T <: Bar : Manifest]: Foo[T] = new Foo[T] { }
  def apply[T : Foo] = implicitly[Foo[T]]
  def baz[T : Foo](arg: T): Unit = { println("ha!")}
} 

abstract class BaseBar(val a:String) extends Bar
abstract class Base {
  type T <: BaseBar
  def getBar(a:String) : T
//  def send(a:String) = Foo.baz(getBar(a)) // Dear typechecker, why do you hate me?
}

class ConcreteBar(a:String) extends BaseBar(a)

object Concrete extends Base {
  type T = ConcreteBar
  def getBar(a:String) = new ConcreteBar(a)
  def send(a:String) = Foo.baz(getBar(a)) // I want to remove this line
}