Traits do a lot of what one can do with typeclasses (they're mostly just different names for the same thing), what differences are you thinking of? Also, trait

Traits do a lot of what one can do with typeclasses (they're mostly just different names for the same thing), what differences are you thinking of? Also, traits objects are existential types, and closures & functions are as first class as they are in Haskell (main difference is a bit more verbosity).