Adrian Hey wrote: > 2 - It does matter, and the result is guaranteed to be the > last maximum in all cases because: > (x==y) = True implies max x y = y This seems to be the case looking into GHC/Base.lhs max x y = if x <= y then y else x Christian