Haskell Object Observation Debugger (ku-fpg.github.io)

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?