Stav dette: Generic and Indexed Programming