Scala language feature: Type classes (or classes of types) Type constructors Ad-hoc polymorphism Simple examples Proof that a kind exists Recursive resolution of type classes (with implicits scopes) References Types and Typeclasses Implicits Resolution The Neophyte's Guide to Scala Part 12: Type classes Making Our Own Types and Typeclasses Signpost: Type Classes