let
 val aa=a
 fun g(x,y)=sew(y,x)
in
 let
   fun h(x,y)=sew(x,y)
 in
   h(g(a,b),turn(turn(g(a,b))))
 end
end