proc `[]`[T: tuple](t: T; s: static HSlice[int, BackwardsIndex]): auto {.inline.}

template `[]`[T: tuple](t: T; i: static BackwardsIndex): auto

template `[]`[T: tuple](t: T; i: static int): auto