Goal: Use `infer` with a conditional type to extract the 4th type parameter from `MyComplexInterface`.