[Haskell-cafe] An issue with EDSLs in the ``finally tagless''
brad.larsen at gmail.com
Thu Sep 24 00:45:20 EDT 2009
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
Can you say more about the use of type/data families?
More information about the Haskell-Cafe