let
is_int_sequence t = t.sequence =
`
int_sequence