Using the new Indexable definition we can strip many explicit signatures from indexed types.