[Haskell-cafe] Restrict values in type

Luke Clifton ltclifton at gmail.com
Fri Jan 17 04:06:08 UTC 2014

> 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).


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

More information about the Haskell-Cafe mailing list