let
index t = t