25 Feb
2010
25 Feb
'10
10:46 a.m.
Nick Bowler wrote:
*** Idea #3 ***
Use a multi-parameter type class:
We couldn't go down this route until MPTCs themselves are added to the language, which I think is unlikely to be soon as the whole fundeps/type families issue is still unresolved. Ganesh =============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ===============================================================================