2 Oct
2014
2 Oct
'14
5:08 a.m.
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