5 Aug
2009
5 Aug
'09
7:24 a.m.
2009/08/04 Michael P Mossey
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