fn arb_record( fields: impl Iterator<Item = (String, BoxedStrategy<PropDatum>)>, ) -> BoxedStrategy<PropDict>