[Haskell-cafe] Heterogeneous Data Structures - Nested Pairs and functional references

[Stephen Tetley]

Hi Alexander

Your monad looks equivalent to the Identity monad but over a much
bigger syntax. What advantages do you get from it being a monad,
rather than just a functor?

Best wishes

Stephen