lambda p. let (x,y,z) = p in (z,y,x)