type ('index, 'sequences, 'sequence, 'subsequences) t =
| [] : (_, unit, unit, unit) t
type ('index, 'sequences, 'subsequences) some =
| Some : ('index, 'sequences, 'sequence, 'subsequences) t -> ('index, 'sequences, 'subsequences) some