Using Generic Classes as Type Parameters

Code:

---

class A<Ta>
{
    public A() { }
}

class B<TA, Ta>
    where TA : A<Ta>
{
    public B() { }
}

class Program
{
    static void Main(string[] args)
    {
        B<A<int>, int> var = new B<A<int>, int>();

        //how I'd like to do it
        //B<A<int> > = new B<A<int> >();
    }
}

---

Is there some combination of syntax that'll let me declare a variable of type B as I'd like to do it? It's a bit clunky having to say that I want int twice.

In C++, at least, you can use default template arguments:

Code:

---

template <typename t = int>

---

I've never tried it before, but maybe you can do something like this:

Code:

---

template <typename t1, typename t2 = t1>

---