RFC: Deserializing to a stream of tagged values