sequence and traverse for Either