Hacker News new | ask | show | jobs
Recursive Type Signatures in Scala (blog.originate.com)
6 points by handler 4488 days ago
2 comments

This is known as F-bounded polymorphism if you are interested in knowing more about this approach.
Awesome article, simple and to the point!