[nh23423fefe]

sequence is typically defined as a function from N -> A, thus countable domain