
6 Sep
2010
6 Sep
'10
8:30 a.m.
On Sep 6, 2010, at 1:47 PM, Stefan Holdermans wrote:
In general, it is kind of unfortunate that type classes and type constructors share a namespace, even though there is no way to ever mix them up.
Class and type names mix in im- and export lists. IIRC, this is the reason for putting them in a common name space. -- Underestimating the novelty of the future is a time-honored tradition. (D.G.)