Type classes in functional logic programming | Publicación