In the authors enter first and last name example, isn’t the do notation also much clearer on order of effects? Eg being asked first for first name?