. . . "Delta Debugging Type Errors with a Blackbox Compiler (PDF)"^^ . . . . . .