Haskell Language Common monads as free monads 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
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
