Nice! Btw, there is an awesome chrome/ff extension "vimium", it makes every site with more-or-less standard HTML markup usable with keyboard only. The only thing I miss is that it doesn't work with sliders (like video controls).

Scala doesn't follow the Hindley Milner type system. Because of the inheritance it allows inference of super types (up to sum or even top types). If you want to check type equality - you can use `=:=` evidence:
```
def a[A, B](a: A, b: B)(using A =:= B) = a
```

> first uses its symbolic engine to deduce new statements about the diagram until the solution is found or new statements are exhausted. If no solution is found, AlphaGeometry’s language model adds one potentially useful construct, opening new paths of deduction for the symbolic engine.

... and a bit of history and author commentaries:
https://en.wikipedia.org/wiki/The_Theory_of_Interstellar_Trade

Ultimately, there was a resistance drop near room-temperature in the first replication, but sadly it was not a zero 😔
https://arxiv.org/abs/2308.04353

Summary of all replication attempts:
https://eirifu.wordpress.com/2023/07/30/lk-99-superconductor-summary