https://dotty.epfl.ch/docs/reference/contextual/derivation.html
The signature in the article, here, differs significantly from the one in the library, here.
Since the rest of the article is impacted by this, significant changes are needed.