[Haskell-beginners] Custom type classes

[Theodore Lief Gannon]

> class Indexable idx a | idx -> a where
>     first :: idx -> a
>
> This just means that *a* is fully determined by idx (your tuple).

Cutting in to say thanks -- I've had a vague notion of what fundeps do but
this really gelled it for me!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160126/97ce2211/attachment.html>