Useless internal argument in any, all, any_, all_

[np]

While reviewing the code this fork https://github.com/m0ar/safe-streaming of this library an improvement.
The internal boolean argument is indeed never updated and thus could be replaced by True/False at the final location.

Reference: https://github.com/michaelt/streaming/blob/master/src/Streaming/Prelude.hs#L378

[m0ar]

elem and notElem have the same problem what I can see, the True-case in loop can't even happen right? It's only passed boolean literals with value False. :)

elem :: (Monad m, Eq a) => a -> Stream (Of a) m r -> m (Of Bool r)
elem a' = loop False where
  loop True str = liftM (True :>) (effects str)
  loop False str = case str of
    Return r -> return (False :> r)
    Effect m -> m >>= loop False
    Step (a:> rest) ->
      if a == a'
        then liftM (True :>) (effects rest)
        else loop False rest