Deconstructing a Scala feature: Generalized type constraints (without a PhD) (blog.bruchez.name)