main(x) = snd(x)

snd(Pair(x,y)) = y

idNat(S(x)) = S(s) where s = idNat(x)
idNat(Z)    = Z

