pippo x y = y x oppure pippo = \x -> \y -> (y x)