max3 (f, s, t) = (max (max f s) t)