shift :: ((a,b),c) -> (a,(b,c))