有没有办法用 Python 的类型提示来表达这个 Scala 代码？ trait List[A] { def ::[B >: A](x: B): List[B] } 我正在努力实现这种事情 ...