There is no difference between return and pure, see What is the diff between pure() and return() ?Could you give me an example? - #4 by cocreature.
Both allow you to “lift” a value into an Action context most commonly into Update so a -> Update a.