zypeh
says to
YSITD
pattern matching 能够比较类型，还能够比较 ADT, 有的还能够重新命名变量，传入语句块里面