In Scala 3 with DOT calculus, how to extend the equality of 2 path dependent types for obviously cases? Considering the following example in an Object:
