Re: [Haskell-cafe] An issue with EDSLs in the ``finally tagless'' tradition

Peter, On Thu, Sep 24, 2009 at 12:22 AM, Peter Gammie wrote: [...]

Ambiguity is IMHO best handled with a judicious application of type (or data) families, but you can get surprisingly far by simply requiring that every class member mention all type variables in the class head. YMMV of course.

cheers peter

Can you say more about the use of type/data families? Sincerely, Brad