Re: qualified import of prelude