书籍 — strong typing

Effective Haskell：使用强类型函数式编程解决现实世界问题