improved robustness of type signature 'unfixing'