Re: [Haskell-cafe] 2-level type analysis of introducing naming into data types

2008/3/15 Greg Meredith :

All,

The following Haskell code gives a 2-level type analysis of a functorial approach to introducing naming and name management into a given (recursive) data type. The analysis is performed by means of an

What's the upshot of this? That is, what does this analysis give you? I mostly follow the argument but I don't understand the benefits. I feel like I'm missing something. Justin