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

10 Jul 2008


      Or, if people have easy-enough extensible records that /will/ work
with funky types, I'd be happy to use those!

-Ron

On Thu, Jul 10, 2008 at 10:29 AM, Ron Alford  wrote:
...
On Wed, Jul 9, 2008 at 11:01 PM, Antoine Latter  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