Stream MonadPlus, Foldable