 
            
            
            
            
                8 Feb
                
                    2008
                
            
            
                8 Feb
                
                '08
                
            
            
            
        
    
                3:35 p.m.
            
        David Menendez wrote:
Isn't the MonadPlus approach also by-default-safe?
Safe, yes, but is it more useful?
Yes. In this case, take a parsing monad for example. You could write: parseInt :: CharParser () Int parseInt = do ds <- many digit readM ds And it would work automatically. A reading error would be propagated to the parser monad, and it would backtrack/report the error/whatever. Twan