 
            
            
            
            
                17 Nov
                
                    2013
                
            
            
                17 Nov
                
                '13
                
            
            
            
        
    
                4:44 p.m.
            
        On 17 November 2013 19:39, Herbert Valerio Riedel 
On 2013-11-10 at 23:33:31 +0100, Edward Kmett wrote:
We went through all the pain of removing Num as a superclass of Bits to support it, but we apparently never actually put the instance of Bits (and FiniteBits) for Bool into base.
I propose we do so.
+1
+1