Minor refactor: map + sequenceA -> traverse