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

AntC anthony_clayden at clear.net.nz
Tue Oct 29 10:19:50 UTC 2013

> <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?)


More information about the Haskell-Cafe mailing list