For a complex type (A b, C d, E e) => Something a b e -> Int, provide a way to given the query: where does A b come from? Respond with the line number of a function that causes that constraint. This should of course also work for non-Haskell 98 constraints.

This issue comes up when one by accident calls a function in the wrong layer of a monadic transformer stack.