typed_time_provider
