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

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

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

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

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

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

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

Который так же плох.

Я могу легко реструктурировать классы или даже сделать методы non-extension-methods путем введения их в иерархию, но мой вопрос состоит в том, если я могу избежать необходимости копировать методы для этих двух потомков и в некотором роде объявить их только однажды для базового класса.

Позвольте мне перефразировать это. Существует ли способ изменить классы в первом примере кода выше, так, чтобы синтаксис в Основном методе мог быть сохранен, не копируя рассматриваемые методы?

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

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

Позвольте мне дать пример:

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.