Leftovers from the 1st GHCi debugger prototype