Las ternas de números naturales se pueden ordenar como sigue

(0,0,0), 
(0,0,1),(0,1,0),(1,0,0),
(0,0,2),(0,1,1),(0,2,0),(1,0,1),(1,1,0),(2,0,0),
(0,0,3),(0,1,2),(0,2,1),(0,3,0),(1,0,2),(1,1,1),(1,2,0),(2,0,1),(2,1,0),(3,0,0),
...

Definir la función

posicion :: (Int,Int,Int) -> Int

tal que (posicion t) es la posición de la terna de números naturales t en la ordenación anterior. Por ejemplo,

>>> posicion (0,1,0)
2
>>> posicion (0,0,2)
4
>>> posicion (0,1,1)
5