Can this implicit conversion with implicit param work ?

Hi, with the definitions below, the following conversion is not happening :

1.iAmABasket

If I change i2 for :

implicit def i2[A](a: A)(implicit bf: BasketFactory[A,_]):
Basket[A,_] = bf.create(a)

it will work, but what I want is precisely is that given one type (A =
Int) at the call site,
a second type is obtained (B = TARInt) based on the available implicit
BasketFactory[A,B]

Of course adding a second conversion :

implicit def i1(l: Int) = bf.create(l)

does the trick, but I'm wondering if there's a way to avoid this,
actually I'm curious
about the rule that I am breaking with regards to the type system.

Thanks

====================================================================

trait TARInt

trait Basket[A,B] {
def iAmABasket = {}
}

trait BasketFactory[A,B] {
def create(v: A): Basket[A,B] = sys.error("!")
}

implicit val bf = new BasketFactory[Int,TARInt] {
def create(v: Int): Basket[Int,TARInt] = sys.error("!")
}

implicit def i2[A,B](a: A)(implicit bf: BasketFactory[A,B]):
Basket[A,B] = bf.create(a)

====================================================================