Purifying React (with annotations)