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

Ron Alford ronwalf at volus.net
Thu Jul 10 10:29:39 EDT 2008

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

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

More information about the Haskell-Cafe mailing list