Sequence Unification Through Currying