Re: implicit-parameters paper