remove redundant prelude require