Chenand Erwig. Guided Type Debugging. Springer International Publishing, 2014, doi:10.1007/978-3-319-07151-0_3.