Li-Fan Chen
says to
YSITD
嘿對對對 有的型別系統就可以做出這種東西