We usually use `Seq` in our API... why did you change this here?