result_data_types library Null safety