Factoring out an `empty` function for returning an empty sequence.