Typelevel.scala | Higher-kinded types: the difference between giving up, and moving forward

Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.

Source: Typelevel.scala | Higher-kinded types: the difference between giving up, and moving forward