Lazy narrowing with parametric order sorted types | Publicación