give him the example for swapping two variables in Haskell of:
a = 4 b = 3 let a=b; b=a in print (b-a)
