"Type Class Derivation" article uses an outdated version of `Mirror`

[Sporarum]

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.