lambda1@tg
says to
YSITD
看了看，作者的理論基礎跟haskell 的typesystem，特別是typeclasses，是一樣的