使用prelude替换自己写的代码