Re: [PD] abstraction precedence