```
data Expr a
  = EVar Name
  | ENum Int
  | EConstr Int Int
  | EAp (Expr a) (Expr a)
  | ELet
      IsRec
      [(a, Expr a)]
      (Expr a)
  | ECase
      (Expr a)
      [Alter a]
  | ELam [a] (Expr a)
```

今天幾乎完成了 `pprint` ， `pprint` 把 `CoreProgram` 還有 `CoreExpr` 轉成中間格式 `Iseq` ，最後再轉成 `String` 。

```
data Iseq
  = INil
  | IStr String
  | IAppend Iseq Iseq
  | INewline
  | IIndent Iseq
```

`CoreExpr` 有 `EVar`, `ENum`, `EConstr`, `EAp`, `ELet`, `ECase`, `ELam` 七種 data constructor ，但排版用的 `Iseq` 只有 `INil`, `IStr`, `IAppend` 三種，就算加上未來的 `IIndent` 和 `INewline` 也不過五種。最後輸出的 `String` 就只有一種了。

可見 `pprint` 是個損失資訊的過程，資訊變少的新結構 `Iseq` 是專門為 pretty print 設計的，但原來的 `CoreExpr` 是為了直譯或是編譯而設計的。

在寫 `pprint` 時的錯誤少了，表示過去一年沒白寫吧？但繞了好多彎路。

---

加上了 `INewline` 和 `IIndent` ， `flatten` 時要多一個參數追蹤現在印到哪個 column ，但只在 `IIndent` 出現時，才真的把位移與當下的 `Iseq` 綁在一起。

接下來要為 infix operators 加上 precedence level ，並看情況補括號，棄用自動加括號的 `pprAExpr` 函數。