N>А может быть, сразу, и значения по умолчанию приделать...

default <DesiredDefaultNonAbstractCreatableType>;

K>>List :( T = Type1 )

K>>List : (Type1)
K>>

K>>Dictionary @ (KeyT = Type1 & ValueT = Type2)
K>>Dictionary @(Type1, type2)
K>>

T with {T1};//объявление
T with (DesiredType); //указание аргумента

[MyAttribute(typeof(IList!<string>))]
public class A!<T> where T : IMyInterface!<string>
{
   public B : IEnumerable!<T>{ get; set; }
}

def x = List!<int, List!<int, List!<int>>>([1, 2])[0];

class A {}
class B {}

module P
{
  F[T](t : T) : int -> void { }
  F(t : int) : void { }

  Main() : void
  {
    def A = 1;
    def B = 2;
    F(A)(B);
  }
}

__>class A {}
__>class B {}

__>module P
__>{
__>  F[T](t : T) : int -> void { }
__>  F(t : int) : void { }

__>  Main() : void
__>  {
__>    def A = 1;
__>    def B = 2;
__>    F(A)(B);
__>  }
__>}
__>

class A {}
class B {}

module P
{
  F(T ,t : T) : int -> void { }
  F(t : int) : void { }
  Main() : void
  {
    def A = 1;
    def B = 2;
    F(A, B); // это вызов генерика
    F(A); // это вызов функции

  }
}

class A {}
class B {}

module P
{
  F(X, Y ,x : Y, y : Y) : void { }
  F(x : int, y : int, z : int, w : int) : void { }
  Main() : void
  {
    def A = 1;
    def B = 2;
    F(A, B, A, B); // вызовет генерика или нет ?
  }
}

__>Т.е. типы и аргументы в перемешку ?

class A {}
class B {}

module P
{
  F(X, Y ,x : Y, y : Y) : void { }
  F(x : int, y : int, z : int, w : int) : void { }
  Main() : void
  {
    def A = 1;
    def B = 2;
    F(A, B, A, B); // вызовет генерика или нет ? - функции
так как передаются значения
F(type(A), type(B), A, B) // для генерика 
  }
}

__>Т.е. типы и аргументы в перемешку ?

class A {}
class B {}

module P
{
  F(X, Y ,x : Y, y : Y) : void { }
  F(x : int, y : int, z : int, w : int) : void { }
  Main() : void
  {
    def A = 1;
    def B = 2;
    F(:A, :B, A, B); //  генерика 
    F(A, B, A, B); // Функция
 }
}