singletonList :: TermList f -> a -> Index f a
singletonList t x = Index 0 t [x] newArray Nil
singletonList :: TermList f -> a -> Index f a
singletonList t x = Index 0 t [x] newArray Nil
singletonList t x = Index 0 t [x] newArray Nil