Getting rid of prelude