Почему я не могу использовать аргумент типа в параметре типа с несколькими границами?

Java: несоответствие типов подстановочных знаков приводит к ошибке компиляции

Мы создали фабричный класс в моем проекте, который позволил бы мне (теоретически) создавать менеджеров для любого (поддерживаемого) данного типа. Взаимодейст...

Что заставляет javac выдавать предупреждение «использует непроверенные или небезопасные операции»

Понимание верхних и нижних границ? в Java Generics

Концепция Scala UpperBound и LowerBound

Компилятор Maven против компилятора Eclipse

Java generics - получение фактического типа универсального параметра

Шаблон разработки стратегии, обобщение и безопасность типов

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

Java 8 и обобщенный вывод целевого типа

Я установил последний JDK 8 ea b114 для тестирования новых языковых функций. Однако вывод в цепочечных вызовах, похоже, пока не работает.Если я напишу:

Черта монады в Скале

(Как) можно представить монады в Scala в общем виде (например,