Skalpel is a neat project for visualising type errors. Rather than showing where the type checker first found an issue, it highlights all the possible places you could fix the code to make it correct!