remove unnecessary prelude import