dropped generics extension category