let
mk_index_access term ty i =
access ty (mk_index_shift term ty i)