[Haskell-cafe] Records and associated types

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Sun Dec 21 19:45:38 EST 2008

Am Donnerstag, 11. Dezember 2008 22:04 schrieb Taru Karttunen:
> Hello
> What is the correct way to transform code that uses record selection
> with TypeEq (like HList) to associated types?

Hello Taru,

you might want to look at


and its follow-ups.

Best wishes,

More information about the Haskell-Cafe mailing list