Could this be `return unify_seq((u.start, u.stop, u.step), (v.start, v.stop, v.step), s)` ?