fix tip s/Prelude/List