[Haskell-cafe] A foray into type-level programming, and getting stuck

[Wolfgang Jeltsch]

Am Sonntag, 1. März 2009 22:10 schrieb Brian Bloniarz:
> Hi George,
>
> Since none of the type metaprogramming specialists have answered you
> on-list, I took a crack at this -- I think you can work around the issue by
> avoiding overlapping instances entirely. I learned about this technique
> from the HList paper & this message:
> http://okmij.org/ftp/Haskell/keyword-arguments.lhs
> (see "the rest of the implementation").

Note that HList still needs overlapping instances for implementing type 
equality. If we will have closed type families at some future time, this will 
change. See:

<http://www.mail-archive.com/glasgow-haskell-users%40haskell.org/msg12792.html>

Best wishes,
Wolfgang