[Haskell-cafe] reifying based-on type of a newtype or data

[AntC]

> <oleg <at> okmij.org> writes:

> ...
> 
> It is easy to answer the original question about someFoo
> 
> ...

So it is! (For some value of `easy` ;-)

Thank you both Oleg and John.

Is all that documented somewhere 'official'?
(I did try various searches and wikis, and look at Data.Data on Hackage.
 But nothing seemed to hang together enough.
 Perhaps my question is an unusual use case?)

AntC