[TYPES] Interaction between type classes and modules

[Philip Wadler]

I am trying to track down a paper I once read about type classes and
modules. The key result I recall is that if an instance of a type class is
declared in a module then, to preserve coherence, signatures exported by
the module should not mention the type class. Can someone please point me
to the paper? Cheers, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/

Too brief? Here's why: http://www.emailcharter.org/
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-list/attachments/20181203/f9bf5c5d/attachment.ksh>