Heredar de una clase base genérica, aplicar una restricción e implementar una interfaz en C #

Ésta es una cuestión de sintaxis. Tengo una clase genérica que hereda de una clase base genérica y está aplicando una restricción a uno de los parámetros de tipo. También quiero que la clase derivada implemente una interfaz. Por mi vida, parece que no puedo encontrar la sintaxis correcta.

Esto es lo que tengo:

DerivedFoo<T1,T2> : ParentFoo<T1, T2> where T2 : IBar { ... }

Lo primero que me vino a la mente fue esto:

DerivedFoo<T1,T2> : ParentFoo<T1, T2> where T2 : IBar, IFoo { ... }

Pero eso es incorrecto ya que hace que T2 necesite implementar IBar e IFoo, no DerivedFoo para implementar IFoo.

Probé un poco de búsqueda en Google, uso de dos puntos, punto y coma, etc., pero me quedé corto. Estoy seguro de que la respuesta es increíblemente simple.

Incluya la firma completa de su clase antes de definir restricciones genéricas.

class DerivedFoo<T1, T2> : ParentFoo<T1, T2>, IFoo where T2 : IBar
{
    ...
}

Mi recomendación: cuando tenga una pregunta sobre la sintaxis del lenguaje C #, lea la especificación; por eso lo publicamos. Querrá leer la sección 10.1.

Para responder a su pregunta específica, el orden de las cosas en una declaración de clase es:

• atributos, entre corchetes
• modificadores ("público", "estático", etc.)
• "parcial"
• "clase"
• el nombre de la clase
• una lista separada por comas de declaraciones de parámetros de tipo dentro de corchetes angulares
• dos puntos seguidos de una lista de tipos base separados por comas (clase base e interfaces implementadas, la clase base debe ir primero si hay una)
• restricciones de parámetro de tipo
• el cuerpo de la clase, rodeado de tirantes
• un punto y coma

Todo en esa lista es opcional excepto por "clase", el nombre y el cuerpo, pero todo debe aparecer en ese orden si aparece.

public interface IFoo {}
public interface IBar {}

public class ParentFoo<T,T1> { }
public class DerivedFoo<T, T1> : ParentFoo<T, T1>, IFoo where T1 : IBar { }

public class KeyAndValue<T>
{
    public string Key { get; set; }
    public virtual T Value { get; set; }
}

public class KeyAndValue : KeyAndValue<string>
{
    public override string Value { get; set; }
}

Esta es una extensión de las respuestas existentes. El valor predeterminado es stringsi no proporciona un tipo. No implementé una interfaz, pero eso no debería requerir nada diferente de lo habitual.