Indexed: weaken constraints to Indexed instances.