Частичный вывод универсального типа возможен в C#?

Я работаю над переписыванием своего интерфейса fluent для библиотеки классов IoC, и когда я переработал некоторый код, чтобы поделиться некоторыми общими функциональными возможностями через базовый класс, я наткнулся на загвоздку.

Примечание : Это то, что я хочу сделать, а не то, что я должен сделать. Если мне придется обойтись другим синтаксисом, я сделаю это, но если у кого-то есть идея о том, как заставить мой код компилироваться так, как я хочу, это будет очень кстати.

Я хочу немного методы расширения должны быть доступны для конкретного базового класса, и эти методы должны быть универсальными, с одним универсальным типом, связанным с аргументом метода, но методы также должны возвращать определенный тип, связанный с конкретным потомком, на который они вызываются.

Лучше с примером кода, чем вышеприведенное описание.

Вот простой и полный пример того, что не работает :

using System;

namespace ConsoleApplication16
{
    public class ParameterizedRegistrationBase { }
    public class ConcreteTypeRegistration : ParameterizedRegistrationBase
    {
        public void SomethingConcrete() { }
    }
    public class DelegateRegistration : ParameterizedRegistrationBase
    {
        public void SomethingDelegated() { }
    }

    public static class Extensions
    {
        public static ParameterizedRegistrationBase Parameter<T>(
            this ParameterizedRegistrationBase p, string name, T value)
        {
            return p;
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            ConcreteTypeRegistration ct = new ConcreteTypeRegistration();
            ct
                .Parameter<int>("age", 20)
                .SomethingConcrete(); // <-- this is not available

            DelegateRegistration del = new DelegateRegistration();
            del
                .Parameter<int>("age", 20)
                .SomethingDelegated(); // <-- neither is this
        }
    }
}

Если вы скомпилируете это, вы будете получить:

'ConsoleApplication16.ParameterizedRegistrationBase' does not contain a definition for 'SomethingConcrete' and no extension method 'SomethingConcrete'...
'ConsoleApplication16.ParameterizedRegistrationBase' does not contain a definition for 'SomethingDelegated' and no extension method 'SomethingDelegated'...

Я хочу, чтобы метод расширения (Parameter<T>) мог быть вызван как на ConcreteTypeRegistration, так и на DelegateRegistration, и в обоих случаях возвращаемый тип должен соответствовать типу, на который было вызвано расширение.

Задача состоит в следующем:

Я хотел бы написать:

ct.Parameter<string>("name", "Lasse")
            ^------^
            notice only one generic argument

Но также и то, что Parameter<T> возвращает объект того же типа, на который он был вызван, что означает:

ct.Parameter<string>("name", "Lasse").SomethingConcrete();
^                                     ^-------+-------^
|                                             |
+---------------------------------------------+
   .SomethingConcrete comes from the object in "ct"
   which in this case is of type ConcreteTypeRegistration

Есть ли способ, которым я могу обмануть компилятор, чтобы сделать этот скачок для - я?

Если я добавляю два аргумента универсального типа к методу Parameter, вывод типа заставляет меня либо предоставить оба, либо нет, что означает следующее:

public static TReg Parameter<TReg, T>(
    this TReg p, string name, T value)
    where TReg : ParameterizedRegistrationBase

Дает мне это:

Using the generic method 'ConsoleApplication16.Extensions.Parameter<TReg,T>(TReg, string, T)' requires 2 type arguments
Using the generic method 'ConsoleApplication16.Extensions.Parameter<TReg,T>(TReg, string, T)' requires 2 type arguments

Что так же плохо.

Я могу легко реструктурировать классы или даже сделать методы нерасширяющими методами, введя их в иерархию, но мой вопрос заключается в том, Могу ли я избежать необходимости дублировать методы для двух потомков и каким-то образом объявлять их только один раз, для базового класса.

Позвольте мне перефразировать это. Есть ли способ изменить классы в первом примере кода выше, чтобы синтаксис в Main-методе можно было сохранить, не дублируя рассматриваемые методы?

Код должен быть совместим как с C# 3.0, так и с 4.0.

---

Edit : причина, по которой я предпочел бы не оставлять оба аргумента универсального типа для вывода, заключается в том, что для некоторых служб я хочу указать значение параметра для параметра конструктора это один тип, но передайте значение, которое является потомком. На данный момент сопоставление указанных значений аргумента и правильного конструктора для вызова выполняется с использованием как имени, так и типа аргумента.

Приведу пример:

ServiceContainerBuilder.Register<ISomeService>(r => r
    .From(f => f.ConcreteType<FileService>(ct => ct
        .Parameter<Stream>("source", new FileStream(...)))));
                  ^--+---^               ^---+----^
                     |                       |
                     |                       +- has to be a descendant of Stream
                     |
                     +- has to match constructor of FileService

Если я оставлю оба типа для вывода, тип параметра будет FileStream, а не Stream.