Now the Stream is Applicative.