自由空身份

特定

data Empty a

我们有

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

这是同构的

data Identity a
     = Identity a