What would be the type signature of the GREATEST function, which takes in values of the same type and returns a value of that type? My though was it would be something like the following:
GREATEST(T_1, T_2, T_3, ...) -> T
What would it actually be? Additionally, are there examples of common functions and their input/output types in this sort of mathematical notation?