Copied from issue https://github.com/lampepfl/dotty/pull/10449 since it is SIP material.
Eql is a typeclass used in multi-versal equality to check that regular universal equality
== is allowed. I believe that
CanEqual is a better name. That way, we do not raise the expectation that this is some sort of equality typeclass.