It looks handy to help you debug type inference problems by recursively displaying the type inference code until you find the exact location where the inference failed, went wrong, or had an accident. This feature is very useful for my current development, thanks to the author!