using System;

class A[T]
  where T: IComparable
{
}

class B[U,V]
  where U: IComparable
  where V: A[U]
{
}

class Driver
{
  public static Main () :  void
  {
    mutable  _a_int = Nemerle.Extensions.DefaultValue (A[int]);
    mutable  _b_stuff = Nemerle.Extensions.DefaultValue (B[int,A[int]]); ()
  }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/