Was sind die Einschränkungen für die Schlussfolgerung von höherwertigen Typen in Scala?

Ist es in Scala möglich, implizite Konvertierungen für Parameter in Extraktoren (nicht zutreffend) zu verwenden?

Wie man Extraktor in polymorph unapply benutzt?

Ich verstehe dieses kleine Ding nicht wirklich. Ich habe eine abstrakte Klassenbox mit mehreren Unterklassen für verschiedene Typen. Zum Beispiel