fun choose f = if f<0
                   then fn e:int => e*e
                   else fn e:int => e+e;


    (choose ~1 5) + (choose 1 5);