zypeh
says to
YSITD
人懒不懒我不知道，我知道的是，连严格求值的写法都写不好，加上一个懒类型