Re: Internal anafunctors.