3.11.3 Comparing and Analyzing Function Types