這幾天在看 Concrete Semantics 的型別理論部分，於是想做一下之前沒有做下去的 Codewars 上的幾道 Haskell 題。