Characteristic predicate SequenceKind :: SequenceKind
SequenceKind
(
)