Text this: Generic and Indexed Programming