Explain how we will change the Wire type if we make pure expressions