<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""></div><div class=""><br class=""></div><div class="">So, in the <i class="">max</i> example, if the declared type of the first argument is T, the second argument is required to </div><div class="">conform to T, and the result is guaranteed to conform to T — no type arguments necessary. You might say that this is insufficiently general, </div><div class="">in that the first argument might have more operations than the second, and you would be right: it’s an 80% solution.</div><div class=""><br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>Andrew</div><div class=""><br class=""></div></body></html>