[Haskell-cafe] Template Haskell sees into abstract data types

[Serguey Zefirov]

2010/7/28 Simon Peyton-Jones <simonpj at microsoft.com>:
> I assume you've seen http://hackage.haskell.org/trac/ghc/ticket/4222
> There are non-obvious design choices here

Yes, I've seen that. Right now I just cannot grok it fully. I feel
like I should share my current understanding with cafe, so I wrote
them in my answer to Jonas.