[TYPES] Interaction between type classes and modules

Steven Shaw steven at steshaw.org
Mon Dec 3 21:15:27 EST 2018

Hi Philip,

That might be *Modular Type Classes* by Derek Dreyer, Robert Harper, and
Manuel M.T. Chakravarty.



[Re-sending as apparently I wasn't subscribed to the list]

On Mon, 3 Dec 2018 at 23:39, Philip Wadler <wadler at inf.ed.ac.uk> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list
> ]
> 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/
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.

More information about the Types-list mailing list