The Limitations of Type Classes as Subtyped Implicits

Short-paper presentation arguing that encoding type classes via subtyped implicits in Scala has fundamental limitations compared to first-class type classes.