Coinductive Soundness of Corecursive Type Class Resolution | Publicación