5 Aug
2009
5 Aug
'09
9:54 a.m.
2009/08/04 Michael P Mossey <mpm@alumni.caltech.edu>:
Is there ever a case in which you would refer to the type variable 'a' somewhere in the definition of an instance?
When using overloaded functions to write the instance -- for example, `fmap` or `mappend` -- you might place type signatures on them to disambiguate. -- Jason Dusek