Quais são as limitações na inferência de tipos mais gentis no Scala?

No código de exemplo simplificado a seguir:

É possível usar conversões implícitas para parâmetros para extratores (aplicar) no Scala?

Como usar o extrator no desuso polimórfico?

Eu realmente não entendo essa coisinha. Eu tenho uma caixa de classe abstrata com várias sub-classes para diferentes tipos. Por exemplo