Adding constraints to curry via flat guards | Publicación