[Haskell-cafe] advice: instantiating/duplicating modules

[Arie Peterson]

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