using System;
abstract class B {
   public virtual A Fct1<A, C>(A a, C c) { return a; }
   public abstract int Fct2<U>(U u) where U:class,IComparable<U>,new();
}
class D1 : B {
   public override X Fct1<X, Y>(X x, Y y) { return x; }
   public override int Fct2<U>(U u)  { return 0; }
}
interface I {
   A Fct1<A, C>(A a, C b);
   int Fct2<U>(U u) where U : class, IComparable<U>, new();
}
class D2 : I {
   public X Fct1<X, Y>(X x, Y y) { return x; }
   public int Fct2<U>(U u) where U : class, IComparable<U>, new() 
   { return 0; }
}