lambda1@tg
says to
YSITD
我沒有很深入的研究... 我之前要寫某個typer inferer 用HM 就可以了