[Haskell-cafe] Fwd: Increasing Haskell modularity

[Roman Cheplyaka]

On 02/10/14 02:50, Richard Eisenberg wrote:
> For what it's worth, I think I can agree that types like `Set` should
> carry around the relevant `Ord` dictionary.

What exactly do you mean by that? Redefining the Set type so that it
carries a dictionary, such as

  data Set a where
    Bin :: Ord a => ...

or somehow modifying GHC's internal dictionary passing mechanism without
changing any user code (such as Data.Set)?

Roman

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141002/9ca16850/attachment.sig>