Re: CLtL Chapter 8.5 (Re: Type propagation proposal)