Recursive Type Signatures in Scala

This is known as F-bounded polymorphism if you are interested in knowing more about this approach.

Awesome article, simple and to the point!