let sq = fn x -> if x>0 then x*x
                        else 0-x*x in
sq 2