2009/08/04 Michael P Mossey <mpm at 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