sequence of a type