4 Aug
2009
4 Aug
'09
9:54 p.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