Types vs traits for dispatch

Since the trait system is implemented in terms of the type system and multiple dispatch, I don’t see how it can be more general. It’s very convenient, though.

2 Likes