[Haskell-cafe] Combining Wouter's expressions with extensible records

[Ron Alford]

On Wed, Jul 9, 2008 at 11:01 PM, Antoine Latter <aslatter at gmail.com> wrote:
>
> It isn't immediately obvious to me that the "Typeable" family of
> classes deal at all with higher-kinded type constructors, but I didn't
> look that hard.
>

Yes, that's what I'm worried about.  For people's fun and amusement,
I've attached the file.  The trailing comments show what I'm trying to
accomplish (getName, setName, and so forth).

-Ron
-------------- next part --------------
A non-text attachment was scrubbed...
Name: WouterTest.hs
Type: application/octet-stream
Size: 4001 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080710/f215e405/WouterTest.obj