免費（Const c）要麼 c

特定

 placeholderCopydata Const c a = Const c

我們有

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

這是同構的

 placeholderCopydata Either c a
     = Right a
     | Left c