I came across an interactive debugger for Haskell in a talk about someone's PhD research a few years ago where it was possible to traverse the graph and interac

I came across an interactive debugger for Haskell in a talk about someone's PhD research a few years ago where it was possible to traverse the graph and interactively eliminate possibilities. Could anyone tell me what the name is?