Stream is Applicative, because