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