Haskell Language Free Empty ~~ Identity


Example

Given

data Empty a

we have

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

which is isomorphic to

data Identity a
     = Identity a