如果我最终得到一个例如Stream[Id, A]，我可以用微不足道translate的效果。PureId ~> Pure
但是，如果我最终得到了一个不同的严格效果类型的流，例如Stream[Option, A]，我怎样才能将它转换为一个Option[Vector[A]]（或其他东西）？到目前为止，我发现的最好方法是将流转换为具有实例的其他类型，运行流，但是将其转换回来并不简单，因为承认所有s 都失败，而自然只允许. 解决这个问题的更好方法是什么？SyncSyncThrowableOptionNone