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.)