Kinda roll back changes to multiversal-equality.md

Author: Sporarum

docs/_docs/reference/contextual/multiversal-equality.md

@@ -27,19 +27,20 @@ But it will probably give unexpected results and fail at runtime.
 Multiversal equality is an opt-in way to make universal equality safer.
 It uses a binary type class [`scala.CanEqual`](https://github.com/lampepfl/dotty/blob/main/library/src/scala/CanEqual.scala)
 to indicate that values of two given types can be compared with each other.
-The example above would not typecheck if there was a given `CanEqual[S, S]` or `CanEqual[T, T]` in scope but would if there was a given `CanEqual[T, S]`. For example:
+The example above would not typecheck if `S` or `T` was a class
+that derives `CanEqual`, e.g.
 
 ```scala
-given CanEqual[T, T] = CanEqual.derived
+class T derives CanEqual
 ```
+> Normally a [derives clause](./derivation.md) accepts only type classes with one parameter, however there is a special case for `CanEqual`.
+
+Alternatively, one can also provide a `CanEqual` given instance directly, like this:
 
-An identical given instance can also be generated through [type class derivation](./derivation.md):
 ```scala
-class T derives CanEqual
+given CanEqual[T, T] = CanEqual.derived
 ```
 
-Normally [type class derivation](./derivation.md) accepts only types with one parameter, however there is a special case for `CanEqual`.
-
 This definition effectively says that values of type `T` can (only) be
 compared to other values of type `T` when using `==` or `!=`. The definition
 affects type checking but it has no significance for runtime
@@ -82,7 +83,7 @@ def canEqualAny[L, R]: CanEqual[L, R] = CanEqual.derived
 ```
 
 Even though `canEqualAny` is not declared as `given`, the compiler will still
-construct an `canEqualAny` instance as answer to an implicit search for the
+construct a `canEqualAny` instance as answer to an implicit search for the
 type `CanEqual[L, R]`, unless `L` or `R` have `CanEqual` instances
 defined on them, or the language feature `strictEquality` is enabled.