A bit yukky; see Note [Runtime skolems] in TcErrors.
But it works, and the debugger just is yukky in places.