 
            
            
            
            
                21 Mar
                
                    2020
                
            
            
                21 Mar
                
                '20
                
            
            
            
        
    
                2:44 p.m.
            
        We already have instance Monoid m => Applicative (Const m) we could easily add instance Monoid m => Alternative (Const m) where empty = coerce mempty (<|>) = coerce (<>) which trivially satisfies left/right identity and associativity. I propose we add this instance to base.