Add examples of generic functions over indexed types.