Removing `do` notation