Generic с аргументами типа переменной

Я хочу сделать что-то вроде

public interface Foo<R, P...> {
    public R bar(P...) {/*misc*/}
}

, чтобы получить массив типов для использования в моей связанной реализации. Возможно ли это в java?

Varargs разработан, чтобы позволить мне иметь любое количество аргументов данного класса.

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

Я знаю, что есть обходные пути, но есть ли безопасный для типов способ сделать это?