这几天在看 Concrete Semantics 的类型理论部分，于是想做一下之前没有做下去的 Codewars 上的几道 Haskell 题。