fun compare(nil,nil) = EQUAL
     |   compare(nil,_) = LESS
     |   compare(_,nil) = GREATER
     |   compare(x::xs,y::ys) =
             if x<y then LESS
             else if x>y then GREATER
             else compare(xs,ys);