let
s w = (y -- x = w)