Dave Bayer wrote: > I've since done some experiments with Template Haskell, and I see > that Arie Peterson has suggested how you could proceed. However, are > you sure that you can't find a way to get this to work in vanilla > Haskell without extensions? Or, for that matter, are you sure there > isn't a way to get functional dependencies to work? (I felt pretty > dumb for a little while before I found one for my problem, although > as usual the issues are clear in hindsight.)
Yeah, a class/phantom type approach now seems more natural. At the time, I had just learned about Template Haskell, and this problem seemed like a nice nail :-). The code works for me, so I never bothered to rewrite it. Greetings, Arie _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe