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

[Brad Larsen]

Peter,

On Thu, Sep 24, 2009 at 12:22 AM, Peter Gammie <peteg42 at gmail.com> 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