Genus Generics paper

I've read an interesting paper that explains a generics for a Java-like language that's similar to type classes, the paper compares Genus generics with Rust (and Java, Haskell, Scala, C++ Concepts and more) in various cases.

"Genus: Making Generics Object-Oriented, Expressive, and Lightweight", by Zhang, Yizhou; Loring, Matthew C.; Salvaneschi, Guido; Liskov, Barbara; Myers, Andrew C.: