[remove unused MonadPlus from various contexts
Helmut Grohne <grohne@cs.uni-bonn.de>**20150303153735
 Ignore-this: 1e0512fc845058f3ec3fdfce0b325d70
] hunk ./src/Igor2/Data/Hypotheses.hs 69
-hypo :: (MonadPlus m) => [CovrRule] -> C m Hypo
-hypo rs  = updateRating $ foldl' (flip unsafeExtend) h rs 
+hypo :: (Monad m) => [CovrRule] -> C m Hypo
+hypo rs  = updateRating $ foldl' (flip unsafeExtend) h rs
hunk ./src/Igor2/Data/Hypotheses.hs 96
-        
-simplifiedBindings :: (MonadPlus m) =>
-                     Hypo -> C m (CallDep, [(Name,Rules)])
-simplifiedBindings h =  (sbnds [])(callings h)(allBindings h)
+
+simplifiedBindings :: (Monad m) =>
+                     Hypo -> C m (CallDep, [(Name, Rules)])
+simplifiedBindings h = sbnds [] (callings h) (allBindings h)
hunk ./src/Igor2/Data/Hypotheses.hs 140
--} 
-developH :: (MonadPlus m, Error e, MonadError e m) =>
+-}
+developH :: (Monad m, Error e, MonadError e m) =>
hunk ./src/Igor2/Data/Hypotheses.hs 174
-    S.fold unsafeExtend shrnk newrs 
-     
-updateRating :: (MonadPlus m) => Hypo -> C m Hypo
-updateRating h = do v <- rate h; return h{rating = v}     
+    S.fold unsafeExtend shrnk newrs
+
+updateRating :: (Monad m) => Hypo -> C m Hypo
+updateRating h = do v <- rate h; return h{rating = v}
hunk ./src/Igor2/Data/Hypotheses.hs 253
-heuristic :: (MonadPlus m) => Hypo -> C m ([Float], Float)
-heuristic h = do 
-    (cd,bs)   <- simplifiedBindings h
+heuristic :: (Monad m) => Hypo -> C m ([Float], Float)
+heuristic h = do
+    (cd, bs)  <- simplifiedBindings h
hunk ./src/Igor2/Data/Rateable.hs 55
-    rate :: (MonadPlus m) => r -> C m RatingData
+    rate :: (Monad m) => r -> C m RatingData
hunk ./src/Igor2/Data/Rules.hs 215
-matchEval :: (MonadPlus m, Error e, MonadError e m) => LHS -> Rule -> C m TExp
-matchEval args r =  matchL args (lhs r) >>= return . flip apply (rhs r)
-    
+matchEval :: (Error e, MonadError e m) => LHS -> Rule -> C m TExp
+matchEval args r = liftM (flip apply (rhs r)) $ matchL args (lhs r)
+
hunk ./src/Igor2/Data/Rules.hs 309
-    
-replaceInAll :: (MonadPlus m) => TExp -> TExp -> [(Name, Rules)] -> C m [(Name, Rules)]
+
+replaceInAll :: (Monad m) => TExp -> TExp -> [(Name, Rules)] -> C m [(Name, Rules)]
hunk ./src/Igor2/Data/Rules.hs 318
-replaceCall :: (MonadPlus m) => Rule -> RHS -> C m RHS
+replaceCall :: (Monad m) => Rule -> RHS -> C m RHS
hunk ./src/Igor2/Data/Rules.hs 325
-    repSubterms :: MonadPlus m => RHS -> C m RHS
+    repSubterms :: Monad m => RHS -> C m RHS