I have a trait and a case class implementing it. One of the features of the trait that the implementations override is a default value. I can't find a good way to access this default value from a class that is parametrized by a specific implementation of that trait.

This is minimal code, so it doesn't really demonstrate the motivation anymore, but it does demonstrate the error: