[Haskell-cafe] Combining Wouter's expressions with extensible
ronwalf at volus.net
Thu Jul 10 10:45:33 EDT 2008
Or, if people have easy-enough extensible records that /will/ work
with funky types, I'd be happy to use those!
On Thu, Jul 10, 2008 at 10:29 AM, Ron Alford <ronwalf at volus.net> wrote:
> 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).
More information about the Haskell-Cafe