Yep traits are definitely like typeclasses.

Well F# might get it when Shapes gets into C# (C# version of traits/typeclasses which is being discussed)