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

[Justin Bailey]

2008/3/15 Greg Meredith <lgreg.meredith at biosimilarity.com>:
> 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