Just as context for anyone curious:

Scala is even more "powerful" than TS or Rust as it has real HKT (higher-kinded types), and for example Effect.TS needs to emulate/simulate it.

https://github.com/Effect-TS/effect/blob/main/packages/effec...