Typechecking failed

This error message is the absolute worst. It is used in any and all situations where something went wrong and Disco couldn’t make sense of the types in your program.