Merge pull request #11 from matthewleon/fix-warnings

fix filtered warnings

Author: garyb

src/Control/Monad/Gen.purs

@@ -107,13 +107,13 @@ suchThat gen pred = filtered $ gen <#> \a -> if pred a then Just a else Nothing
 
 -- | Creates a generator that repeatedly run another generator until it produces
 -- | `Just` node. This will never halt if the input generatr always produces Nothing.
-filtered :: forall m a b. MonadRec m => MonadGen m => m (Maybe a) -> m a
+filtered :: forall m a. MonadRec m => MonadGen m => m (Maybe a) -> m a
 filtered gen = tailRecM go unit
   where
   go :: Unit -> m (Step Unit a)
   go _ = gen <#> \a -> case a of
     Nothing -> Loop unit
-    Just a -> Done a
+    Just a' -> Done a'
 
 fromIndex :: forall f a. Foldable f => Int -> a -> f a -> a
 fromIndex i a = fromMaybe a <<< snd <<< (foldl go (Tuple 0 (Just a)))