Как правильно смешать дженерики и наследование для получения желаемого результата?

Мой вопрос не легок объяснить слова использования, к счастью, не слишком трудно продемонстрировать. Так, терпите меня:

public interface Command<R>
{
    public R execute();//parameter R is the type of object that will be returned as the result of the execution of this command
}

public abstract class BasicCommand<R> implements Command<R>
{
}

public interface CommandProcessor<C extends Command<?>>
{
    public <R> R process(C<R> command);//this is my question... it's illegal to do, but you understand the idea behind it, right?
}

//constrain BasicCommandProcessor to commands that subclass BasicCommand
public class BasicCommandProcessor<C extends BasicCommand<?>> implements CommandProcessor<C>
{
    //here, only subclasses of BasicCommand should be allowed as arguments but these
    //BasicCommand object should be parameterized by R, like so: BasicCommand<R>
    //so the method signature should really be 
    //    public <R> R process(BasicCommand<R> command)
    //which would break the inheritance if the interface's method signature was instead:
    //    public <R> R process(Command<R> command);
    //I really hope this fully illustrates my conundrum
    public <R> R process(C<R> command)
    {
        return command.execute();
    }
}

public class CommandContext
{
    public static void main(String... args)
    {
        BasicCommandProcessor<BasicCommand<?>> bcp = new BasicCommandProcessor<BasicCommand<?>>();
        String textResult = bcp.execute(new BasicCommand<String>()
        {
            public String execute()
            {
                return "result";
            }
        });
        Long numericResult = bcp.execute(new BasicCommand<Long>()
        {
            public Long execute()
            {
                return 123L;
            }
        });
    }
}

В основном я хочу, чтобы универсальный метод "процесса" продиктовал тип универсального параметра Объекта команды. Цель состоит в том, чтобы смочь ограничить различные реализации CommandProcessor к определенным классам, которые реализуют интерфейс Command и в то же время к способному для вызова метода процесса любого класса, который реализует интерфейс CommandProcessor, и имейте его, возвращают объект типа, указанного параметризованным Объектом команды. Я не уверен, является ли мое объяснение достаточно четким, поэтому сообщите мне, необходимо ли дальнейшее объяснение. Я предполагаю, вопрос, "Это было бы возможно сделать, вообще?" Если бы ответ является "Нет", каково было бы лучшее обходное решение (я думал о паре самостоятельно, но я хотел бы некоторые свежие идеи),