[Haskell-cafe] Restrict values in type

[Luke Clifton]

>
> First, it seems that the dictionary passing implementation of type
> classes makes things clearer. This implementation realizes,
> informally, double arrow as a simple arrow.
>

Thank you. This explanation really helped me and was precisely what I was
missing. I find an understanding of how things are implemented is often
required before I feel comfortable with something (and my search for an
explanation like the one you gave provided no results).

Regards,

Luke
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140117/77abfb41/attachment.html>