The limitations of type classes as subtyped implicits (short paper)

Type classes in Scala are encoded with implicit parameters and subtyping. This short paper describes limitations that arise from encoding type classes as subtyped implicits, in particular around coherence and ambiguity.