He actualizado las soluciones del ejercicio «Enumeración de los pares de números naturales» cuyo enunciado es

Los pares de los números naturales se pueden ordenar por la suma de sus componentes y entres los pares con la misma suma elegir antes al que tiene mayor su primera componente.

Definir las funciones

pares    :: [(Int,Int)]
posicion :: (Int,Int) -> Int

tales que

• pares es la lista de los pares de números naturales con el orden anterior. Por ejemplo,

λ> take 10 pares
[(0,0),(1,0),(0,1),(2,0),(1,1),(0,2),(3,0),(2,1),(1,2),(0,3)]

• (posicion p) es la posición del par p en la lista pares. Por ejemplo,

posicion (0,0)  ==  0
posicion (2,0)  ==  3

Nota: Puedes consultar las soluciones aquí.