[spdegabrielle]

Typed Racket has type classes: https://docs.racket-lang.org/ts-reference/Typed_Classes.html

[pavpanchekha]

Uhh, sorry, I meant type classes in the Haskell sense (similar to interfaces), not typed classes (like in Java).