免費（Const c）要麼 c

特定

data Const c a = Const c

我們有

data Free (Const c) a
     = Pure a
     | Free (Const c)

這是同構的

data Either c a
     = Right a
     | Left c