When ' with' was missing and type arguments were present, ' with' would be wedged in between the interface and its type arguments.