自由空身份

特定

data Empty a

我們有

data Free Empty a
     = Pure a
-- the Free constructor is impossible!

這是同構的

data Identity a
     = Identity a